CI Checks

Update RX sequence number after refusing TCP FIN packet. #6648

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	11s
build-checks	59s
doxygen	23s
formatting	20s
git-secrets	4s
link-verifier	1m 11s
proof_ci	10m 26s
spell-check	44s
unittest	5m 18s
verify-manifest	18s
	19m 54s