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