Skip to content
OCaml Binding CI (Ubuntu + macOS)

Fix qe-lite de Bruijn reindexing after bounded quantifier expansion #7398

Sign in to view logs

Fix qe-lite de Bruijn reindexing after bounded quantifier expansion

Fix qe-lite de Bruijn reindexing after bounded quantifier expansion #7398

This workflow is awaiting approval from a maintainer in #9996
Triggered via pull request June 29, 2026 02:33
@CopilotCopilot
opened #9996
copilot/fix-bug-in-qe-lite
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #9996

ocaml.yaml

on: pull_request
Matrix: build-test
Waiting for pending jobs
Fit to window
Zoom out
Zoom in