Skip to content

GitLab

I
Iris

And more useless new lines.

5 jobs for master in 18 minutes and 38 seconds (queued for 1 minute and 59 seconds)
461c88d6
No related merge requests found.
Status Job ID Name Coverage
  Build
passed #56688
fp
build-coq.8.10.2

00:10:58

passed #56687
fp-timing
build-coq.8.11.0

00:06:32

passed #56690
fp
build-coq.8.8.2

00:09:44

passed #56689
fp
build-coq.8.9.1

00:10:37

failed #56686
fp
build-coq.dev

00:15:46

 
Name Stage Failure
failed
build-coq.dev Build 
make[1]: *** [validate] Error 1
make[1]: Leaving directory '/builds/iris/iris'
Makefile:3: recipe for target 'validate' failed
make: *** [validate] Error 2

real	0m27.575s
user	0m26.916s
sys	0m0.552s
ERROR: Job failed: exit code 1