fix: stop rebuilding old OCaml base images - #41

Open

Justme0606 wants to merge 1 commit into

rocq-community:masterfrom

Justme0606:ocaml-base-rebuilding

coqbot-app / GitLab CI pipeline (pull request) succeeded Jun 15, 2026 in 0s

Pipeline completed successfully on GitLab CI

This GitLab pipeline sets the following variables:

It contains the following stages and jobs:

lint-src
- lint-images
compile
- prepare-artifacts
prepare-ci
- lint-dockerfiles
- prepare-config
lint-ci
- lint-config
notify
- debrief

GitLab Project ID: 19687051

View more details on coqbot-app