Stream: math-comp users

Topic: On-going migration of Docker mathcomp images infrastructure

view this post on Zulip Erik Martin-Dorel (Apr 26 2023 at 20:51):

Dear MathComp users and developers, (follow-up of this other stream)

I believe we have good news, for all of you that rely on mathcomp/mathcomp or mathcomp/mathcomp-dev Docker images.

(Indeed, there were several hindrances for continuously deploying new images (including gitlab's changes regarding CI minutes; the inability for mathcomp to benefit from their open-source offer because of licensing issues; the relative instability of the custom runners that we used instead).)

Kind regards,

Last updated: Jul 15 2024 at 20:02 UTC