Refactor dyn_ack.cpp to use structured bindings for app_pair/app_triple #501
This workflow is awaiting approval from a maintainer in #8359
Triggered via pull request
January 27, 2026 22:38
Copilot
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #8359
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