Skip to content
CI

fixes #1415

Sign in to view logs

fixes

fixes #1415

Triggered via push February 17, 2026 15:41
@nunoplopesnunoplopes
pushed e6607df
copilot/fix-tagged-pointer-bug
Status Success
Total duration 32m 45s
Artifacts –

ci.yml

on: push
Python bindings (manylinux Centos AMD64) build
20m 27s
Python bindings (manylinux Centos AMD64) build
Python bindings (manylinux Centos ARM64 cross) build
24m 7s
Python bindings (manylinux Centos ARM64 cross) build
Ubuntu with OCaml
20m 54s
Ubuntu with OCaml
Ubuntu with OCaml on z3-static
20m 21s
Ubuntu with OCaml on z3-static
MacOS build
32m 35s
MacOS build
MacOS build with CMake
17m 15s
MacOS build with CMake
Matrix: linux-python-debug
Matrix: ubuntu-cmake
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
MacOS build with CMake
ninja 1.13.2 is already installed and up-to-date. To reinstall 1.13.2, run: brew reinstall ninja
Ubuntu build - cmake - releaseSTGcc
Restore cache failed: Dependencies file is not found in /home/runner/work/z3/z3. Supported file pattern: go.sum
Ubuntu build - cmake - debugGcc
Restore cache failed: Dependencies file is not found in /home/runner/work/z3/z3. Supported file pattern: go.sum
Ubuntu build - cmake - releaseClang
Restore cache failed: Dependencies file is not found in /home/runner/work/z3/z3. Supported file pattern: go.sum
Ubuntu build - cmake - debugClang
Restore cache failed: Dependencies file is not found in /home/runner/work/z3/z3. Supported file pattern: go.sum