CI Checks

Adds a warning if the stream-buffer or windows properties are changed… #620

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	20s
build-checks	1m 0s
formatting	16s
complexity	11s
git-secrets	4s
proof_ci	0s
link-verifier	1m 41s
spell-check	46s
unittest	5m 18s
verify-manifest	13s
	9m 49s