[ci] Test some targets only in the merge queue #3958
ci.yml
on: pull_request
Generate cache
2m 30s
Run tests under Kani
1m 34s
Check Rust formatting
5s
Check that all toolchains listed in Cargo.toml are tested in CI
38s
Check all-jobs-succeeded depends on all jobs
29s
Run Git hooks
1m 6s
Matrix: build_test
Check README.md
10s
Check MSRVs match
10s
Check crate versions match
7s
All checks succeeded
0s
Annotations
48 warnings