Stream: math-comp devs

Topic: Docker images building

view this post on Zulip Pierre Roux (Jun 13 2023 at 14:34):

Currently working on Docker images building with @Erik Martin-Dorel and @Théo Zimmermann , please don't merge on master until further notice

view this post on Zulip Théo Zimmermann (Jun 13 2023 at 15:22):

We're done. In principle, it should be fine to merge to master again.

view this post on Zulip Karl Palmskog (Jun 15 2023 at 16:42):

just to check, is it now possible to activate MathComp Docker CI for MC master in projects like Graph Theory (https://github.com/coq-community/graph-theory)?

view this post on Zulip Pierre Roux (Jun 15 2023 at 17:16):

Yes: https://hub.docker.com/r/mathcomp/mathcomp-dev/tags (this is MathComp master, i.e., MathComp 2, images for the mathcomp-1 branch are not there yet)

Last updated: Nov 29 2023 at 22:01 UTC