Currently working on Docker images building with @Erik Martin-Dorel and @Théo Zimmermann , please don't merge on master until further notice
We're done. In principle, it should be fine to merge to master again.
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)?
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