Fix z3 install and CN tests for Dockerfiles #42
Triggered via pull request
November 12, 2024 17:12
podhrmic
Status
Cancelled
Total duration
3m 12s
Artifacts
–
Annotations
2 errors
|
build (4.14.1)
Canceling since a higher priority waiting request for 'ci-CN Proof-refs/pull/712/merge' exists
|
|
build (4.14.1)
The operation was canceled.
|