CI Checks

Merge branch 'main' into update_kernel_submodule #312

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	1m 55s
formatting	20s
git-secrets	1m 41s
memory-statistics	1m 24s
proof_ci	1s
spell-check	1m 32s
verify-manifest	2m 46s
	9m 39s