Added comments to bigcat

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

00:00:01

passed #55019
1.9.0-coq-8.10

00:01:36

passed #55020
1.9.0-coq-8.10-classic

00:02:40

passed #55023
1.9.0-coq-8.9

00:01:34

passed #55025
latest-coq-8.10

00:01:34

passed #55021
proof-length

00:00:24

passed #55022
spell-check

00:00:33

 
  Process
passed #55028
doc

00:00:22

passed #55029
doc-classic

00:00:31

passed #55030
proof-state

00:01:54

passed #55026
validate

00:00:49

passed #55027
validate-classic

00:00:57

 
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)