Move dockerhub image to prebuilt z3 #3109
Triggered via pull request
October 16, 2023 09:57
Baltoli
Status
Cancelled
Total duration
3m 37s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
test-pr.yml
on: pull_request
Version Sync
10s
K Tests
3m 13s
Matrix: Nix flake
Performace Tests
0s
Annotations
7 errors
|
Nix flake (macos-13, macos-13)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/3714/merge' exists
|
|
Nix flake (macos-13, macos-13)
The operation was canceled.
|
|
Nix flake (MacM1, self-macos-12)
Canceling since a higher priority waiting request for 'Test PR-refs/pull/3714/merge' exists
|
|
Nix flake (MacM1, self-macos-12)
The operation was canceled.
|
|
K Tests
The operation was canceled.
|
|
K Tests
Process completed with exit code 1.
|
|
K Ubuntu Jammy Package
The operation was canceled.
|