Skip to content
Miri test

Fix clippy error on windows #2081

Sign in to view logs

Fix clippy error on windows

Fix clippy error on windows #2081

Triggered via push June 14, 2024 08:36
@VianneyRuhlmannVianneyRuhlmann
pushed ffcea0b
vianney/actions/run-clippy-on-windows
Status Success
Total duration 19m 18s
Artifacts –

miri.yml

on: push
run-miri
19m 7s
run-miri
Fit to window
Zoom out
Zoom in