CI Checks

Add incoming disconnect handling #1859

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-manifest	7s
unittest	17s
git-secrets	7s
custom-standard-c-headers	6s
complexity	9s
proof_ci	1m 28s
doxygen	16s
formatting	20s
memory_statistics	37s
link-verifier	8m 32s
spell-check	1m 16s
	13m 15s