[CI] Bump actions/checkout from 4.0.0 to 4.1.0 #1113
Triggered via pull request
September 28, 2023 13:43
Status
Success
Total duration
6m 43s
Artifacts
–
ci.yml
on: pull_request
Generate cache
57s
Check Rust formatting
9s
Run tests under Kani
1m 36s
Check README.md
11s
Check MSRVs match
9s
Check crate versions match
15s
Matrix: build_test