CI Checks

Add incoming disconnect handling #1857

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	17s
custom-standard-c-headers	6s
unittest	33s
complexity	10s
memory_statistics	33s
link-verifier	2m 43s
git-secrets	8s
formatting	14s
verify-manifest	7s
proof_ci	1m 51s
spell-check	1m 26s
	8m 8s