Integrate Serena MCP server for C++ semantic analysis in SpecBot #502
This workflow is awaiting approval from a maintainer in #8410
Triggered via pull request
January 28, 2026 00:36
Copilot
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #8410
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