Add job to signal to branch protection that all other jobs have succeeded. #1137
ci.yml
on: pull_request
Generate cache
57s
Check Rust formatting
8s
Matrix: build_test
Run tests under Kani
1m 40s
Check README.md
16s
Check MSRVs match
7s
Check crate versions match
8s
All checks succeeded
0s