Skip to content
Rust

Use safe, public APIs where possible to remove some unsafe blocks. #441

Sign in to view logs

Use safe, public APIs where possible to remove some unsafe blocks.

Use safe, public APIs where possible to remove some unsafe blocks. #441

Re-run triggered August 30, 2023 16:33
@LokathorLokathor
#206
anforowicz:avoid-unnecessary-unsafe-in-checked-rs
Status Success
Total duration 4m 0s
Artifacts –

rust.yml

on: pull_request
Test with miri
1m 23s
Test with miri
Matrix: cross-test
Matrix: sanitizer-test
Matrix: test
Fit to window
Zoom out
Zoom in