CI Checks

TraceRecorder demo added in CORTEX_MPS2_QEMU_IAR_GCC (#1320) #322

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	22s
doxygen	1m 21s
git-secrets	1m 38s
memory-statistics	1m 26s
proof_ci	1s
spell-check	1m 33s
verify-manifest	2m 6s
	8m 27s