CI Checks

Merge branch 'main' into libslirp_for_x86_AWS #541

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	24s
git-secrets	1m 9s
spell-check	1m 56s
doxygen	1m 56s
memory-statistics	2m 38s
proof_ci	0s
verify-manifest	2m 36s
	10m 39s