Merge branch 'ARM_Crx_No_GIC_Demo' of github.com:kar-rahul-aws/FreeRT… #422

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	1m 54s
formatting	40s
git-secrets	3m 32s
proof_ci	1s
memory-statistics	1m 38s
spell-check	3m 6s
verify-manifest	2m 2s
	12m 53s