[CI] Bump actions/checkout from 4.0.0 to 4.1.0 #1094
Triggered via pull request
September 25, 2023 13:16
Status
Success
Total duration
8m 20s
Artifacts
–
ci.yml
on: pull_request
Generate cache
1m 41s
Check Rust formatting
8s
Run tests under Kani
1m 22s
Check README.md
11s
Check MSRVs match
13s
Check crate versions match
7s
Matrix: build_test
Annotations
50 errors