Pierre-Yves Strub (Nov 28 2022 at 14:28): 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)
Pierre Roux (Nov 28 2022 at 14:31):Exactly, MC 1.15 doesn't compile anymore on Coq master.
Pierre Roux (Nov 28 2022 at 14:31):The Docker image was thus removed.
Pierre-Yves Strub (Nov 28 2022 at 14:31):Thank you!
Notification Bot (Nov 28 2022 at 14:31):Pierre-Yves Strub has marked this topic as resolved.
Last updated: Apr 19 2024 at 14:02 UTC