Refactor theory_array_base to use structured bindings for enode pairs #499
This workflow is awaiting approval from a maintainer in #8405
Triggered via pull request
January 27, 2026 22:16
Copilot
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #8405
ci.yml
on: pull_request
MacOS build
MacOS build with CMake
Python bindings (manylinux Centos AMD64) build
Python bindings (manylinux Centos ARM64 cross) build
Ubuntu with OCaml
Ubuntu with OCaml on z3-static
Matrix: linux-python-debug
Waiting for pending jobs
Matrix: ubuntu-cmake
Waiting for pending jobs