More polish

12 jobs for work-conserving-correctness in 3 minutes and 40 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
failed #56178
allowed to fail
1.10.0-coq-dev

00:00:01

passed #56173
1.9.0-coq-8.10

00:01:37

passed #56174
1.9.0-coq-8.10-classic

00:02:39

passed #56177
1.9.0-coq-8.9

00:01:35

passed #56179
latest-coq-8.10

00:01:35

passed #56175
proof-length

00:00:22

passed #56176
spell-check

00:00:30

 
  Process
passed #56182
doc

00:00:22

passed #56183
doc-classic

00:00:31

passed #56184
proof-state

00:01:54

passed #56180
validate

00:00:49

passed #56181
validate-classic

00:00:58

 
Name Stage Failure
failed
1.10.0-coq-dev Build
Running with gitlab-runner 12.5.0 (577f813d)
on MPI-SWS shared runner docker executor 2 686bfd3b
Using Docker executor with image mathcomp/mathcomp:1.10.0-coq-dev ...
Pulling docker image mathcomp/mathcomp:1.10.0-coq-dev ...
ERROR: Job failed: Error response from daemon: manifest for mathcomp/mathcomp:1.10.0-coq-dev not found (executor_docker.go:188:1s)