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