new activity page #920
Triggered via pull request
September 11, 2023 22:20
brig
Status
Cancelled
Total duration
19m 15s
Artifacts
–
Annotations
1 error
|
build (17)
Canceling since a higher priority waiting request for 'refs/pull/808/merge-build' exists
|