CI Checks

Add incoming disconnect handling #1858

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	13s
unittest	27s
complexity	10s
custom-standard-c-headers	7s
git-secrets	8s
spell-check	1m 7s
verify-manifest	11s
memory_statistics	35s
doxygen	16s
link-verifier	1m 7s
proof_ci	1m 6s
spell-check	26s
unittest	30s
complexity	16s
link-verifier	26s
proof_ci	16s
doxygen	16s
git-secrets	8s
verify-manifest	11s
custom-standard-c-headers	7s
memory_statistics	35s
formatting	13s
spell-check	1m 42s
link-verifier	54s
complexity	8s
unittest	25s
proof_ci	1m 16s
formatting	13s
memory_statistics	35s
custom-standard-c-headers	7s
git-secrets	8s
verify-manifest	11s
doxygen	16s
	14m 46s