Stream: coq-community devs & users

Topic: ✔ if you experienced slower CI builds with `coqorg/coq:8....

view this post on Zulip Erik Martin-Dorel (Sep 27 2021 at 23:15):

Hi all, just a small heads-up in case some of you experienced increased CI build times with Docker images of Coq 8.13:
After noticing that this docker-mathcomp build raised a timeout:
https://gitlab.com/math-comp/docker-mathcomp/-/jobs/1627374514
the log was containing some unexpected coq recompilation:

[default] synchronised from https://opam.ocaml.org
The following actions will be performed:
  - recompile coq         8.13.2*       [upstream changes]
  - recompile coq-serapi  8.13.0+0.13.0 [uses coq]
  - recompile coq-bignums 8.13.0        [uses coq]
===== 3 to recompile =====

just because of this patch, committed 4 days ago: https://github.com/ocaml/opam-repository/commit/e7fe399cd4dcd3e26a8f491bd599cb3989bcf014
so I've just started that pipeline to do the upgrade directly in Docker-Coq (in coqorg/coq:8.13*):
https://gitlab.com/coq-community/docker-coq/-/pipelines/378229362

Last updated: Apr 19 2024 at 23:02 UTC