Rename structured binding variables from app1/app2/app3 to a1/a2/a3 #500
This workflow is awaiting approval from a maintainer
Copilot
This workflow is awaiting approval from a maintainer
ci.yml
on: push
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