Skip to content

rocq-stdlib.dev: require rocq-core >= 9.2, as upstream does - #3808

Merged
JasonGross merged 1 commit into
rocq-prover:masterfrom
JasonGross:rocq-stdlib-dev-core-bound
Jul 31, 2026
Merged

rocq-stdlib.dev: require rocq-core >= 9.2, as upstream does#3808
JasonGross merged 1 commit into
rocq-prover:masterfrom
JasonGross:rocq-stdlib-dev-core-bound

rocq-stdlib.dev: require rocq-core >= 9.2, as upstream does

c67651c
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