[ci] Only run Miri tests in merge queue #3956
ci.yml
on: pull_request
Generate cache
2m 39s
Run tests under Kani
1m 40s
Check Rust formatting
3s
Check that all toolchains listed in Cargo.toml are tested in CI
27s
Check all-jobs-succeeded depends on all jobs
32s
Run Git hooks
52s
Matrix: build_test
Check README.md
10s
Check MSRVs match
5s
Check crate versions match
6s
All checks succeeded
0s
Annotations
202 warnings