Skip to content

Some changes needed for miri #778

Some changes needed for miri

Some changes needed for miri #778

Triggered via pull request September 11, 2024 10:27
@oli-obkoli-obk
synchronize #278
miri
Status Success
Total duration 6m 9s
Artifacts

rust.yml

on: pull_request
check rustfmt
13s
check rustfmt
check clippy
25s
check clippy
Matrix: build-std
Matrix: tests
Fit to window
Zoom out
Zoom in