Skip to content
CI

[code-simplifier] Consolidate repo-root helpers and simplify skill sc… #3901

Sign in to view logs

[code-simplifier] Consolidate repo-root helpers and simplify skill sc…

[code-simplifier] Consolidate repo-root helpers and simplify skill sc… #3901

Triggered via push June 8, 2026 22:40
@NikolajBjornerNikolajBjorner
pushed 0cc04b5
master
Status Success
Total duration 31m 42s
Artifacts –

ci.yml

on: push
Python bindings (manylinux Centos AMD64) build
22m 58s
Python bindings (manylinux Centos AMD64) build
Python bindings (manylinux Centos ARM64 cross) build
23m 33s
Python bindings (manylinux Centos ARM64 cross) build
Ubuntu with OCaml
18m 33s
Ubuntu with OCaml
Ubuntu with OCaml on z3-static
18m 14s
Ubuntu with OCaml on z3-static
MacOS build
31m 9s
MacOS build
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
11m 5s
MacOS JNI cross-compile (ARM64 -> x64) architecture validation
Python build-script unit tests
6s
Python build-script unit tests
MacOS build with CMake
13m 34s
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