Skip to content

Fix the dependencies of rocq-mathcomp-real-closed.dev - #3836

Merged
proux01 merged 1 commit into
rocq-prover:masterfrom
pi8027:fix-real-closed-dev
Aug 28, 2026
Merged

Fix the dependencies of rocq-mathcomp-real-closed.dev#3836
proux01 merged 1 commit into
rocq-prover:masterfrom
pi8027:fix-real-closed-dev

Fix the dependencies of rocq-mathcomp-real-closed.dev

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