Skip to content

rocq-runtime.9.3: require OCaml >= 4.14.0, as upstream does - #3803

Merged
JasonGross merged 1 commit into
rocq-prover:masterfrom
JasonGross:rocq-runtime-93-ocaml
Jul 31, 2026
Merged

rocq-runtime.9.3: require OCaml >= 4.14.0, as upstream does#3803
JasonGross merged 1 commit into
rocq-prover:masterfrom
JasonGross:rocq-runtime-93-ocaml

rocq-runtime.9.3: require OCaml >= 4.14.0, as upstream does

0749611
Select commit
Loading
Failed to load commit list.
coqbot-app / GitLab CI pipeline (pull request) succeeded Jul 30, 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