Skip to content
CI

Refactor sat_solver to use C++17 structured bindings for pair destructuring #486

Sign in to view logs

Refactor sat_solver to use C++17 structured bindings for pair destructuring

Refactor sat_solver to use C++17 structured bindings for pair destructuring #486

Re-run triggered January 27, 2026 21:58
@NikolajBjornerNikolajBjorner
#8403
copilot/refactor-sat-solver-bindings
Status Success
Total duration 5h 47m 22s
Artifacts –

ci.yml

on: pull_request
Python bindings (manylinux Centos AMD64) build
20m 6s
Python bindings (manylinux Centos AMD64) build
Python bindings (manylinux Centos ARM64 cross) build
23m 59s
Python bindings (manylinux Centos ARM64 cross) build
Ubuntu with OCaml
19m 30s
Ubuntu with OCaml
Ubuntu with OCaml on z3-static
19m 52s
Ubuntu with OCaml on z3-static
MacOS build
32m 6s
MacOS build
MacOS build with CMake
15m 21s
MacOS build with CMake
Matrix: linux-python-debug
Matrix: ubuntu-cmake
Fit to window
Zoom out
Zoom in

Annotations

1 warning
MacOS build with CMake
ninja 1.13.2 is already installed and up-to-date. To reinstall 1.13.2, run: brew reinstall ninja