Skip to content

Fix 1 clippy warning and annotate another one #850

Fix 1 clippy warning and annotate another one

Fix 1 clippy warning and annotate another one #850

Triggered via push March 4, 2024 18:45
Status Success
Total duration 32m 2s
Artifacts

kani.yml

on: push
Matrix: regression
Fit to window
Zoom out
Zoom in