More ergonomics #188
ci-verification.yml
on: pull_request
Kani Proof Coverage
3s
TLA+ Model Checking
2m 31s
Z3 SMT Verification
36s
Kani Tier 1 (Fast)
3m 20s
Matrix: kani-tier2
Matrix: kani-tier3
Matrix: loom-tests
Annotations
1 notice
|
sccache stats
0% - 0 hits, 1 misses, 0 errors
|