Skip to content

Strengthen historical nlsat regression tests #4171

Strengthen historical nlsat regression tests

Strengthen historical nlsat regression tests #4171

Re-run triggered June 16, 2026 17:18
Status Failure
Total duration 33m 3s
Artifacts

ci.yml

on: pull_request
Python bindings (manylinux Centos AMD64) build
22m 9s
Python bindings (manylinux Centos AMD64) build
Python bindings (manylinux Centos ARM64 cross) build
24m 8s
Python bindings (manylinux Centos ARM64 cross) build
Ubuntu with OCaml
17m 24s
Ubuntu with OCaml
Ubuntu with OCaml on z3-static
17m 36s
Ubuntu with OCaml on z3-static
MacOS build
32m 46s
MacOS build
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
7m 13s
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
Python build-script unit tests
8s
Python build-script unit tests
MacOS build with CMake
12m 56s
MacOS build with CMake
Matrix: linux-python-debug
Matrix: ubuntu-cmake
Fit to window
Zoom out
Zoom in

Annotations

1 error and 5 warnings
Ubuntu with OCaml on z3-static
Process completed with exit code 2.
MacOS build with CMake
The following taps are not trusted: aws/tap azure/bicep Homebrew will ignore formulae, casks and commands from these taps when `HOMEBREW_REQUIRE_TAP_TRUST` is set. This will become the default in Homebrew 6.0.0 or 5.2.0, whichever comes first. Enable trust checks now with: export HOMEBREW_REQUIRE_TAP_TRUST=1 Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep To keep allowing them by default during the transition: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
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 - debugGcc
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