Fix finite-set singleton cardinality collisions #6794
NikolajBjornerci.yml
on: pull_request
Python bindings (manylinux Centos AMD64) build
20m 39s
Python bindings (manylinux Centos ARM64 cross) build
24m 49s
Ubuntu with OCaml
19m 20s
Ubuntu with OCaml on z3-static
20m 2s
MacOS build
30m 34s
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
9m 12s
Python build-script unit tests
9s
MacOS build with CMake
14m 3s
Matrix: linux-python-debug
Matrix: ubuntu-cmake
Annotations
5 warnings
|
MacOS build with CMake
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
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 - releaseSTGcc
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
|