Skip to content
Check no Cargo.lock files are dirty

Kani tweaks #8749

Sign in to view logs

Kani tweaks

Kani tweaks #8749

Triggered via pull request March 6, 2025 12:07
@ShadowCurseShadowCurse
synchronize #5069
ShadowCurse:kani_tweaks
Status Success
Total duration 30s
Artifacts –

deny_dirty_cargo_locks.yml

on: pull_request
no_dirty_cargo_locks_check
20s
no_dirty_cargo_locks_check
Fit to window
Zoom out
Zoom in