CI Checks

Remove vcxproj files from formatting check #14

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	1m 50s
formatting	20s
git-secrets	59s
memory-statistics	1m 29s
proof_ci	1s
spell-check	59s
verify-manifest	1m 59s
	7m 37s