Skip to content

Update word list (#120) #507

Update word list (#120)

Update word list (#120) #507

Triggered via push January 9, 2024 17:24
Status Success
Total duration 2m 23s
Artifacts

ci.yml

on: push
unittest
41s
unittest
build-with-default-config
9s
build-with-default-config
complexity
17s
complexity
doxygen
27s
doxygen
spell-check
2m 12s
spell-check
formatting
10s
formatting
git-secrets
6s
git-secrets
memory_statistics
29s
memory_statistics
link-verifier
57s
link-verifier
verify-manifest
4s
verify-manifest
proof_ci
0s
proof_ci
Fit to window
Zoom out
Zoom in