Stream: math-comp users

Topic: ✔ docker / mc 1.15 / coq dev


view this post on Zulip Pierre-Yves Strub (Nov 28 2022 at 14:28):

Hi. Some CI started to fail lately, failing to download the docker image for MC 1.15 with Coq dev. Any reason for that? (Maybe MC 1.15 is not compatible for Coq dev anymore)

view this post on Zulip Pierre Roux (Nov 28 2022 at 14:31):

Exactly, MC 1.15 doesn't compile anymore on Coq master.

view this post on Zulip Pierre Roux (Nov 28 2022 at 14:31):

The Docker image was thus removed.

view this post on Zulip Pierre-Yves Strub (Nov 28 2022 at 14:31):

Thank you!

view this post on Zulip Notification Bot (Nov 28 2022 at 14:31):

Pierre-Yves Strub has marked this topic as resolved.


Last updated: Feb 08 2023 at 08:02 UTC