new activity page #917
Triggered via pull request
September 10, 2023 22:16
brig
Status
Cancelled
Total duration
12h 9m 23s
Artifacts
–
Annotations
1 error
|
build (17)
Canceling since a higher priority waiting request for 'refs/pull/808/merge-build' exists
|