Merge branch 'main' into ARM_Crx_No_GIC_Demo #419

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	18s
git-secrets	1m 29s
spell-check	1m 15s
doxygen	1m 17s
memory-statistics	1m 14s
proof_ci	1s
verify-manifest	1m 51s
	7m 25s