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)
Exactly, MC 1.15 doesn't compile anymore on Coq master.
The Docker image was thus removed.
Pierre-Yves Strub has marked this topic as resolved.
Last updated: Feb 08 2023 at 08:02 UTC