Back to pull request #1180

Add SMP one task enter critical on target test #3488

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	1m 17s
formatting	40s
git-secrets	2m 6s
memory-statistics	1m 39s
spell-check	1m 40s
verify-manifest	1m 56s
proof_ci	11m 14s
	20m 32s