[ci] Roll Kani version to 0.47.0 #2746
ci.yml
on: pull_request
Generate cache
1m 8s
Run tests under Kani
1m 34s
Check Rust formatting
4s
Check that all toolchains listed in Cargo.toml are tested in CI
30s
Check all-jobs-succeeded depends on all jobs
31s
Run Git hooks
1m 0s
Matrix: build_test
Check README.md
51s
Check MSRVs match
20s
Check crate versions match
10s
All checks succeeded
0s
Annotations
8 errors and 356 warnings