Fix merge conflichts #650
ci.yml
on: push
unittest
5m 34s
spell-check
1m 33s
formatting
12s
doxygen
18s
verify-manifest
15s
link-verifier
1m 16s
build-checks
1m 35s
complexity
13s
git-secrets
3s
proof_ci
0s