Update dependency: deps/kontrol_release #508
Triggered via pull request
October 8, 2024 14:49
rv-jenkins
Status
Cancelled
Total duration
18h 15m 44s
Artifacts
–
Annotations
1 error
|
Test Proofs
Canceling since a higher priority waiting request for 'Test PR-refs/pull/51/merge' exists
|