Skip to content
Check no dependencies were modified

Kani tweaks #8755

Sign in to view logs

Kani tweaks

Kani tweaks #8755

Triggered via pull request March 6, 2025 11:42
@ShadowCurseShadowCurse
synchronize #5069
ShadowCurse:kani_tweaks
Status Failure
Total duration 14s
Artifacts –

dependency_modification_check.yml

on: pull_request
dependency_changed_check
5s
dependency_changed_check
Fit to window
Zoom out
Zoom in

Annotations

1 error
dependency_changed_check
Process completed with exit code 1.