Skip to content

Bound dune < 3.24 for rocq-elpi.dev and rocq-micromega-plugin.dev - #3806

Merged
JasonGross merged 1 commit into
rocq-prover:masterfrom
JasonGross:dune-324-elpi-micromega
Jul 31, 2026
Merged

Bound dune < 3.24 for rocq-elpi.dev and rocq-micromega-plugin.dev#3806
JasonGross merged 1 commit into
rocq-prover:masterfrom
JasonGross:dune-324-elpi-micromega

Bound dune < 3.24 for rocq-elpi.dev and rocq-micromega-plugin.dev

5cc0339
Select commit
Loading
Failed to load commit list.
coqbot-app / GitLab CI pipeline (pull request) succeeded Jul 31, 2026 in 0s

Pipeline completed successfully on GitLab CI

This GitLab pipeline sets the following variables:

It contains the following stages and jobs:

GitLab Project ID: 55429

View more details on coqbot-app