Skip to content
CI

euf_seq_plugin: root-canonical simplification fixes + loop bound over… #3900

Sign in to view logs

euf_seq_plugin: root-canonical simplification fixes + loop bound over…

euf_seq_plugin: root-canonical simplification fixes + loop bound over… #3900

Triggered via push June 8, 2026 22:38
@NikolajBjornerNikolajBjorner
pushed ad17fe7
c3
Status Success
Total duration 31m 8s
Artifacts –

ci.yml

on: push
Python bindings (manylinux Centos AMD64) build
20m 59s
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
19m 55s
Ubuntu with OCaml
Ubuntu with OCaml on z3-static
19m 3s
Ubuntu with OCaml on z3-static
MacOS build
30m 10s
MacOS build
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
7m 36s
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
Python build-script unit tests
8s
Python build-script unit tests
MacOS build with CMake
15m 12s
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.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