CI Checks

Exclude portable STM32 for spelling and formating check #549

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-checks	1m 0s
complexity	14s
formatting	15s
doxygen	14s
git-secrets	10s
link-verifier	1m 30s
proof_ci	0s
spell-check	1m 19s
unittest	5m 25s
verify-manifest	20s
	10m 27s