CI Checks

Add incoming disconnect handling #1861

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	13s
custom-standard-c-headers	7s
git-secrets	3s
formatting	16s
complexity	15s
verify-manifest	7s
memory_statistics	34s
spell-check	1m 0s
link-verifier	4m 51s
unittest	26s
proof_ci	1m 37s
	9m 29s