Check no Cargo.lock files are dirty

Kani tweaks #8762

Sign in to view logs

Triggered via pull request March 6, 2025 16:36

ShadowCurse

synchronize #5069

ShadowCurse:kani_tweaks

Status Success

Total duration 30s

Artifacts –

deny_dirty_cargo_locks.yml

on: pull_request

no_dirty_cargo_locks_check