Skip to content

GitLab

Compile with coq dev

12 jobs for master in 5 minutes and 27 seconds (queued for 3 seconds)
12f79735
1 related merge request: !14 Update
Status Job ID Name Coverage
  Build
failed #54242
allowed to fail
1.10.0-coq-dev

00:00:01

passed #54237
1.9.0-coq-8.10

00:02:27

passed #54238
1.9.0-coq-8.10-classic

00:04:21

passed #54241
1.9.0-coq-8.9

00:02:23

passed #54243
latest-coq-8.10

00:02:20

passed #54239
proof-length

00:00:27

passed #54240
spell-check

00:00:40

 
  Process
passed #54246
doc

00:02:16

passed #54247
doc-classic

00:00:36

passed #54248
proof-state

00:02:51

passed #54244
validate

00:01:14

passed #54245
validate-classic

00:01:03

 
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 b027b6b5
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)