[ci] generate lockfile in roller (#1578) #4534
ci.yml
on: push
Generate cache
39s
Run tests under Kani
2m 14s
Check Rust formatting
6s
Check that all toolchains listed in Cargo.toml are tested in CI
32s
Check all-jobs-succeeded depends on all jobs
33s
Run Git hooks
1m 6s
Matrix: build_test
All checks succeeded
0s