Added comments to bigcat

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

00:00:01

passed 1.9.0-coq-8.10 #55019

00:01:36

passed 1.9.0-coq-8.10-classic #55020

00:02:40

passed 1.9.0-coq-8.9 #55023

00:01:34

passed latest-coq-8.10 #55025

00:01:34

passed proof-length #55021

00:00:24

passed spell-check #55022

00:00:33

 
  Process
passed doc #55028

00:00:22

passed doc-classic #55029

00:00:31

passed proof-state #55030

00:01:54

passed validate #55026

00:00:49

passed validate-classic #55027

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)