Removed recursion from regex unwinding #3547
CEisenhoferci.yml
on: push
Python bindings (manylinux Centos AMD64) build
33s
Python bindings (manylinux Centos ARM64 cross) build
1m 21s
Ubuntu with OCaml
19m 11s
Ubuntu with OCaml on z3-static
18m 53s
MacOS build
29m 18s
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
7m 53s
Python build-script unit tests
7s
MacOS build with CMake
12m 53s
Matrix: linux-python-debug
Matrix: ubuntu-cmake
Annotations
10 errors and 6 warnings
|
Python bindings (manylinux Centos AMD64) build
Process completed with exit code 127.
|
|
Python bindings (manylinux Centos ARM64 cross) build
Process completed with exit code 127.
|
|
MacOS build with CMake
Process completed with exit code 1.
|
|
Ubuntu build - python make - MT
Process completed with exit code 1.
|
|
Ubuntu with OCaml on z3-static
Process completed with exit code 1.
|
|
Ubuntu with OCaml
Process completed with exit code 1.
|
|
Ubuntu build - cmake - debugGcc
Process completed with exit code 1.
|
|
Ubuntu build - cmake - debugClang
Process completed with exit code 1.
|
|
Ubuntu build - cmake - releaseClang
Process completed with exit code 1.
|
|
MacOS build
Process completed with exit code 1.
|
|
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 - debugClang
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: julia-actions/setup-julia@v2. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Ubuntu build - cmake - debugClang
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
|