[ci] Run Miri test alias models in parallel #3954
ci.yml
on: pull_request
Generate cache
2m 33s
Run tests under Kani
1m 14s
Check Rust formatting
10s
Check that all toolchains listed in Cargo.toml are tested in CI
28s
Check all-jobs-succeeded depends on all jobs
27s
Run Git hooks
53s
Matrix: build_test
Check README.md
14s
Check MSRVs match
13s
Check crate versions match
7s
All checks succeeded
0s
Annotations
202 warnings