Use new branch #136
ci.yml
on: push
compiler-warnings
17s
complexity
18s
unittest
46s
coverage
35s
doxygen
55s
spell-check
1m 25s
formatting
19s
git-secrets
6s
memory_statistics
46s
link-verifier
55s
verify-manifest
21s
proof_ci
0s