Parallel tactic (#9824) #4091
NikolajBjornerci.yml
on: pull_request
Python bindings (manylinux Centos AMD64) build
3m 40s
Python bindings (manylinux Centos ARM64 cross) build
3m 39s
Ubuntu with OCaml
3m 52s
Ubuntu with OCaml on z3-static
4m 3s
MacOS build
4m 5s
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
3m 47s
Python build-script unit tests
6s
MacOS build with CMake
3m 55s
Matrix: linux-python-debug
Matrix: ubuntu-cmake
Annotations
26 errors and 5 warnings
|
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
Process completed with exit code 2.
|
|
Python bindings (manylinux Centos ARM64 cross) build
Canceling since a higher priority waiting request for CI-refs/pull/9825/merge exists
|
|
Python bindings (manylinux Centos ARM64 cross) build
The operation was canceled.
|
|
Python bindings (manylinux Centos AMD64) build
Canceling since a higher priority waiting request for CI-refs/pull/9825/merge exists
|
|
Python bindings (manylinux Centos AMD64) build
The operation was canceled.
|
|
Ubuntu build - python make - MT
Canceling since a higher priority waiting request for CI-refs/pull/9825/merge exists
|
|
Ubuntu build - python make - MT
The operation was canceled.
|
|
Ubuntu with OCaml on z3-static
Canceling since a higher priority waiting request for CI-refs/pull/9825/merge exists
|
|
Ubuntu with OCaml on z3-static
The operation was canceled.
|
|
Ubuntu with OCaml
Canceling since a higher priority waiting request for CI-refs/pull/9825/merge exists
|
|
Ubuntu with OCaml
The operation was canceled.
|
|
Ubuntu build - cmake - debugGcc
Canceling since a higher priority waiting request for CI-refs/pull/9825/merge exists
|
|
Ubuntu build - cmake - debugGcc
The operation was canceled.
|
|
Ubuntu build - cmake - releaseClang
Canceling since a higher priority waiting request for CI-refs/pull/9825/merge exists
|
|
Ubuntu build - cmake - releaseClang
The operation was canceled.
|
|
Ubuntu build - cmake - debugClang
Canceling since a higher priority waiting request for CI-refs/pull/9825/merge exists
|
|
Ubuntu build - cmake - debugClang
The operation was canceled.
|
|
Ubuntu build - python make - ST
Canceling since a higher priority waiting request for CI-refs/pull/9825/merge exists
|
|
Ubuntu build - python make - ST
The operation was canceled.
|
|
Ubuntu build - cmake - releaseSTGcc
Canceling since a higher priority waiting request for CI-refs/pull/9825/merge exists
|
|
Ubuntu build - cmake - releaseSTGcc
The operation was canceled.
|
|
MacOS build
Canceling since a higher priority waiting request for CI-refs/pull/9825/merge exists
|
|
MacOS build
The operation was canceled.
|
|
MacOS build with CMake
Canceling since a higher priority waiting request for CI-refs/pull/9825/merge exists
|
|
MacOS build with CMake
The operation was canceled.
|
|
CI
Canceling since a higher priority waiting request for CI-refs/pull/9825/merge exists
|
|
Ubuntu build - cmake - debugGcc
Restore cache failed: Dependencies file is not found in /home/runner/work/z3/z3. Supported file pattern: go.mod
|
|
Ubuntu build - cmake - releaseClang
Restore cache failed: Dependencies file is not found in /home/runner/work/z3/z3. Supported file pattern: go.mod
|
|
Ubuntu build - cmake - debugClang
Restore cache failed: Dependencies file is not found in /home/runner/work/z3/z3. Supported file pattern: go.mod
|
|
Ubuntu build - cmake - releaseSTGcc
Restore cache failed: Dependencies file is not found in /home/runner/work/z3/z3. Supported file pattern: go.mod
|
|
MacOS build with CMake
ninja 1.13.2 is already installed and up-to-date.
To reinstall 1.13.2, run:
brew reinstall ninja
|