Stream: Coq devs & plugin devs

Topic: Docker-Coq CI rebuilds


view this post on Zulip Karl Palmskog (Jun 13 2024 at 14:24):

@Erik Martin-Dorel @Jaime Arias it looks like we are in need of Docker image rebuilds for Docker-Coq. As seen in this PR, every image except for dev is rebuilding a large chunk of all its opam packages: https://github.com/coq-community/dedekind-reals/pull/19 - example: https://github.com/coq-community/dedekind-reals/actions/runs/9501311557/job/26186533980?pr=19

view this post on Zulip Erik Martin-Dorel (Jun 14 2024 at 10:05):

Thanks @Karl Palmskog !
Given the infrastructure currently cannot "auto-detect" this typical issue, really appreciate such pings.
I'm taking the opportunity of the rebuild to bump several versions in the base image:
https://github.com/coq-community/docker-base/commit/2cf1b97d221bf336b542d3f1a262ecdd5b9bd720

view this post on Zulip Erik Martin-Dorel (Jun 14 2024 at 10:35):

On-going GitLab CI pipeline: https://gitlab.com/coq-community/docker-coq/-/pipelines/1332530669


Last updated: Oct 13 2024 at 01:02 UTC