Skip to content

fix: stop rebuilding old OCaml base images#41

Open
Justme0606 wants to merge 1 commit into
rocq-community:masterfrom
Justme0606:ocaml-base-rebuilding
Open

fix: stop rebuilding old OCaml base images#41
Justme0606 wants to merge 1 commit into
rocq-community:masterfrom
Justme0606:ocaml-base-rebuilding

Conversation

@Justme0606

Copy link
Copy Markdown
Collaborator

No description provided.

@Justme0606
Justme0606 requested a review from Zimmi48 June 15, 2026 13:03

@Zimmi48 Zimmi48 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

As discussed privately with Sylvain and Erik, and consistently with previous occurrences, we remove images that use compilers that are no longer in the official opam repo.

@erikmd

erikmd commented Jul 13, 2026

Copy link
Copy Markdown
Member

@Zimmi48 indeed - but just to precise your wording, we disable the rebuild of these images (by removing their build config in git) but keep the current version of these images in Docker Hub for now - maybe later, it could make sense to add a docker-keeper feature so that the debrief job does not suggest removing image tags marked as 'archived'

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants