@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
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
On-going GitLab CI pipeline: https://gitlab.com/coq-community/docker-coq/-/pipelines/1332530669
Last updated: Oct 13 2024 at 01:02 UTC