Merge branch 'main' into dev-stm32 #662
ci.yml
on: push
unittest
5m 31s
spell-check
43s
formatting
27s
doxygen
15s
verify-manifest
15s
link-verifier
1m 11s
build-checks
53s
complexity
12s
git-secrets
5s
proof_ci
0s
Annotations
1 error
spell-check
Process completed with exit code 1.
|