Add construction from Zulip and prove it satisfies 1447 #2105
Triggered via pull request
November 23, 2024 21:00
goens
Status
Cancelled
Total duration
7m 15s
Artifacts
–
Annotations
2 errors
|
Build project
Canceling since a higher priority waiting request for 'refs/pull/892/merge' exists
|
|
Build project
The operation was canceled.
|