Feature wish: coq/platform image

[brandenburg]

Any chance you would consider adding versioned images for the current and future stable releases of Coq Platform? Thanks for your consideration.

[erikmd]

Hi @brandenburg, thanks for opening this issue! 🙂

Actually, this is precisely on the roadmap: we already had a meeting this week with @MSoegtropIMC and @Zimmi48 to discuss this objective, and to sum up:

Although coqorg/platform won't be directly based on coqorg/coq, part of the build infrastructure of Docker-Coq can be reused, so that coqorg/platform should be available in Docker Hub in a few weeks (before Coq 8.14.0 if we can (but no claimed ETA)).

FTR, the next steps are:

• Wait that the Coq Platform repo changes its default branch (to master or main)
• Extend docker-keeper to support "smoke tests" jobs (@erikmd)
• Create a GitLab CI mirror (@Zimmi48)
• Open a PR with a one-image PoC (@erikmd)
• Discuss/refine the PR about versioning, etc. (@MSoegtropIMC & all interested devs/watchers of the Coq Platform repo)
• Release the stable version of the coqorg/platform images

[Zimmi48]

@erikmd I should ideally set up the mirror before you open the PR so please let me know when you're close to doing that.

[brandenburg]

@erikmd sounds great, looking forward to it!

[erikmd]

@Zimmi48

@erikmd I should ideally set up the mirror before you open the PR so please let me know when you're close to doing that.

Sure! good point, so I swapped the two items in my initial post.

[brandenburg]

Hi @erikmd, if I may ask, what are the remaining blocking issues for this to happen?

[MSoegtropIMC]

If help is needed from my side please let me know.