Skip to content

Refactor unsafe blocks; update TODO comments #1122

Refactor unsafe blocks; update TODO comments

Refactor unsafe blocks; update TODO comments #1122

Triggered via pull request September 29, 2023 18:53
Status Success
Total duration 5m 55s
Artifacts

ci.yml

on: pull_request
Generate cache
1m 2s
Generate cache
Check Rust formatting
9s
Check Rust formatting
Run tests under Kani
1m 33s
Run tests under Kani
Check README.md
6s
Check README.md
Check MSRVs match
6s
Check MSRVs match
Check crate versions match
9s
Check crate versions match
Matrix: build_test
Fit to window
Zoom out
Zoom in