CI Checks

Add incoming disconnect handling #1862

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
spell-check	1m 12s
memory_statistics	33s
doxygen	14s
unittest	29s
complexity	16s
custom-standard-c-headers	7s
git-secrets	7s
formatting	12s
link-verifier	7m 25s
proof_ci	1m 19s
verify-manifest	7s
	12m 1s