Stream: math-comp devs

Topic: ✔ MathComp dev opam and Docker breaking


view this post on Zulip Erik Martin-Dorel (Jan 01 2024 at 11:14):

No worries @Karl Palmskog ! I'll do this in a couple of minutes

view this post on Zulip Erik Martin-Dorel (Jan 01 2024 at 11:30):

https://gitlab.inria.fr/math-comp/math-comp/-/pipelines/905023 → let's wait for CI/CD…

view this post on Zulip Erik Martin-Dorel (Jan 01 2024 at 13:06):

FYI the pipeline went through 33' ago:
https://hub.docker.com/r/mathcomp/mathcomp-dev/tags

view this post on Zulip Karl Palmskog (Jan 01 2024 at 13:47):

thanks, can confirm the mathcomp/mathcomp-dev:coq-dev image works now

view this post on Zulip Notification Bot (Jan 01 2024 at 13:47):

Karl Palmskog has marked this topic as resolved.


Last updated: Jul 23 2024 at 20:01 UTC