Skip to content

Fix install phases for migrated and legacy dev packages - #3793

Merged
JasonGross merged 5 commits into
rocq-prover:masterfrom
theorem-labs:codex/dev-install-phase
Jul 31, 2026
Merged

Fix install phases for migrated and legacy dev packages#3793
JasonGross merged 5 commits into
rocq-prover:masterfrom
theorem-labs:codex/dev-install-phase

Track upstream master in coq-mathcomp-grobner.dev

d96f355
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