Skip to content
CI

Add missing regex concat simplifications #3903

Sign in to view logs

Add missing regex concat simplifications

Add missing regex concat simplifications #3903

Re-run triggered June 9, 2026 03:02
@NikolajBjornerNikolajBjorner
65e48fc
copilot/update-seq-rewriter-missing-rules
Status Success
Total duration 30m 59s
Artifacts –

ci.yml

on: push
Python bindings (manylinux Centos AMD64) build
21m 40s
Python bindings (manylinux Centos AMD64) build
Python bindings (manylinux Centos ARM64 cross) build
27m 3s
Python bindings (manylinux Centos ARM64 cross) build
Ubuntu with OCaml
17m 35s
Ubuntu with OCaml
Ubuntu with OCaml on z3-static
17m 39s
Ubuntu with OCaml on z3-static
MacOS build
30m 51s
MacOS build
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
7m 40s
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
Python build-script unit tests
8s
Python build-script unit tests
MacOS build with CMake
15m 32s
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 - 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