CI: manifest for mathcomp/mathcomp:1.10.0-coq-dev not found

Job #54242 failed for 12f79735: CI in master now fails with the following message:

ERROR: Job failed: Error response from daemon: manifest for mathcomp/mathcomp:1.10.0-coq-dev not found (executor_docker.go:188:1s)

Pierre, could you please have another look at this?

mathcomp/mathcomp:1.10.0-coq-dev no longer exists: a recent change in coq-dev broke mathcomp 1.10 (c.f. https://hub.docker.com/r/mathcomp/mathcomp/tags ) We should replace it with mathcomp-dev ( https://hub.docker.com/r/mathcomp/mathcomp-dev/tags )

However I'd better wait for Coq 8.11 to be out (should be in the next few days) to avoid yet another change to the CI file.

Fixed in !81 (merged)

closed