[ci] Roll pinned stable toolchain #1214
ci.yml
on: pull_request
Generate cache
2m 6s
Check Rust formatting
10s
Matrix: build_test
Run tests under Kani
2m 1s
Check README.md
6s
Check MSRVs match
11s
Check crate versions match
17s
All checks succeeded
0s
Annotations
16 errors