Build & Tests #4563
ci.yml
on: merge_group
Generate cache
30s
Run tests under Kani
2m 9s
Check Rust formatting
9s
Check that all toolchains listed in Cargo.toml are tested in CI
28s
Check all-jobs-succeeded depends on all jobs
26s
Run Git hooks
1m 5s
Matrix: build_test
All checks succeeded
0s