Restructure and document util.bigcat

13 jobs for master in 4 minutes and 12 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
failed #55966
allowed to fail
1.10.0-coq-dev

00:00:01

passed #55961
1.9.0-coq-8.10

00:01:42

passed #55962
1.9.0-coq-8.10-classic

00:02:44

passed #55965
1.9.0-coq-8.9

00:01:39

passed #55967
latest-coq-8.10

00:01:39

passed #55963
proof-length

00:00:22

passed #55964
spell-check

00:00:29

 
  Process
passed #55970
doc

00:00:23

passed #55975
doc-classic

00:00:28

passed #55972
proof-state

00:01:55

passed #55968
validate

00:00:50

passed #55969
validate-classic

00:00:57

failed #55971
doc-classic

00:00:17

 
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)