Fixed TODO comment placement #1088
Triggered via pull request
September 22, 2023 22:30
Status
Success
Total duration
6m 49s
Artifacts
–
ci.yml
on: pull_request
Generate cache
1m 7s
Check Rust formatting
10s
Run tests under Kani
1m 20s
Check README.md
9s
Check MSRVs match
13s
Check crate versions match
10s
Matrix: build_test
Annotations
104 errors