build(deps): bump model-checking/kani-github-action from 0.32 to 1.1 … #650
ci.yml
on: push
Matrix: test
rustfmt
4s
toml_validation
6s
clippy
2m 18s
docs
1m 59s
machete
8s
unused_dependencies
4m 6s
msrv
26s
minimal-versions
23s
kani
40s
no-std
23s
Check README
3s
all systems go
0s