test(s2n-quic-core): use a smaller length in the Kani test #6628
ci.yml
on: pull_request
env
12s
rustfmt
23s
udeps
2m 38s
doc
1m 46s
no_std
37s
compliance
25s
coverage
5m 43s
recovery-simulations
56s
sims
6m 27s
copyright
7s
events
33s
snapshots
4m 17s
timing
1m 30s
typos
13s
dhat
4m 3s
xdp
2m 56s
Matrix: clippy
Matrix: kani
Matrix: loom
Matrix: miri
Matrix: crates
Matrix: examples
Matrix: test
Annotations
578 warnings