build(deps): bump model-checking/kani-github-action from 0.33 to 0.34… #6010
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: push
env
14s
rustfmt
27s
udeps
4m 7s
doc
3m 45s
no_std
45s
compliance
22s
coverage
11m 1s
recovery-simulations
1m 34s
sims
13m 21s
copyright
7s
events
39s
snapshots
5m 49s
timing
3m 6s
typos
21s
dhat
6m 18s
xdp
2m 31s
Matrix: clippy
Matrix: kani
Matrix: loom
Matrix: miri
Matrix: crates
Matrix: examples
Matrix: test
Annotations
494 warnings