More polish

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

00:00:01

passed 1.9.0-coq-8.10 #56173

00:01:37

passed 1.9.0-coq-8.10-classic #56174

00:02:39

passed 1.9.0-coq-8.9 #56177

00:01:35

passed latest-coq-8.10 #56179

00:01:35

passed proof-length #56175

00:00:22

passed spell-check #56176

00:00:30

 
  Process
passed doc #56182

00:00:22

passed doc-classic #56183

00:00:31

passed proof-state #56184

00:01:54

passed validate #56180

00:00:49

passed validate-classic #56181

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)