Skip to content
CI

Remove duplicate is_nullable_rec from seq_rewriter, delegate to derive::is_nullable #3934

Sign in to view logs

Remove duplicate is_nullable_rec from seq_rewriter, delegate to derive::is_nullable

Remove duplicate is_nullable_rec from seq_rewriter, delegate to derive::is_nullable #3934

Triggered via pull request June 9, 2026 05:06
@NikolajBjornerNikolajBjorner
synchronize #9704
derive
Status Failure
Total duration 30m 18s
Artifacts –

ci.yml

on: pull_request
Python bindings (manylinux Centos AMD64) build
21m 17s
Python bindings (manylinux Centos AMD64) build
Python bindings (manylinux Centos ARM64 cross) build
25m 56s
Python bindings (manylinux Centos ARM64 cross) build
Ubuntu with OCaml
17m 55s
Ubuntu with OCaml
Ubuntu with OCaml on z3-static
17m 32s
Ubuntu with OCaml on z3-static
MacOS build
29m 50s
MacOS build
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
7m 58s
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
Python build-script unit tests
7s
Python build-script unit tests
MacOS build with CMake
15m 28s
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
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