Refactor theory_array_base to use structured bindings for enode pairs #3246
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
ocaml.yaml
on: pull_request
Matrix: build-test
Waiting for pending jobs