@Erik Martin-Dorel there has been some update to the num
package (probably because of the release of OCaml 5). This means that every Docker image which uses num
reinstalls num and therefore many versions of Coq, such as 8.13.2. Could you do a refresh of the affected images?
Example snippet from job for 8.13
image:
The following actions will be performed:
- recompile num 1.4* [upstream or system changes]
- recompile sexplib v0.14.0 [uses num]
- recompile coq 8.13.2* [uses num]
- recompile coq-serapi 8.13.0+0.13.1 [uses coq, sexplib]
- recompile coq-bignums 8.13.0 [uses coq]
Sure! Thanks a lot @Karl Palmskog :+1:
I'm away from keyboard now, but I'll take care of this tonight.
Thanks again!
@Karl Palmskog just FYI, all images from both coqorg/base
and coqorg/coq
have been rebuilt.
— Let me know if you see something else that looks weird.
Last updated: May 28 2023 at 16:30 UTC