[ci][kani] Pass correct RUSTFLAGS #1278
ci.yml
on: pull_request
Generate cache
56s
Check Rust formatting
11s
Matrix: build_test
Run tests under Kani
1m 54s
Check README.md
6s
Check MSRVs match
13s
Check crate versions match
12s
All checks succeeded
0s