Build Z3 from source instead of downloading precompiled binaries. #2850
Triggered via pull request
October 24, 2024 19:45
fruffy
Status
Cancelled
Total duration
11m 37s
Artifacts
–
ci-test-debian.yml
on: pull_request
test-ubuntu22
9m 48s
test-ubuntu22-tofino
1m 45s
Matrix: test-ubuntu20
Annotations
7 errors and 1 warning
|
test-ubuntu22-tofino
Process completed with exit code 1.
|
|
test-ubuntu20 (Unity OFF, GTest OFF)
Canceling since a higher priority waiting request for 'test-p4c-debian-4697' exists
|
|
test-ubuntu20 (Unity OFF, GTest OFF)
The operation was canceled.
|
|
test-ubuntu20 (Unity ON, GTest ON)
Canceling since a higher priority waiting request for 'test-p4c-debian-4697' exists
|
|
test-ubuntu20 (Unity ON, GTest ON)
The operation was canceled.
|
|
test-ubuntu22
Canceling since a higher priority waiting request for 'test-p4c-debian-4697' exists
|
|
test-ubuntu22
The operation was canceled.
|
|
test-ubuntu20 (Unity OFF, GTest OFF)
Failed to save: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 1
|