Recompile with OCaml 4.08.1

42 jobs for debian/8.9.1-2 in 8 minutes and 44 seconds (queued for 7 seconds)
latest
Status Job ID Name Coverage
  Docker
passed #404496
docker
docker-boot

00:03:47

 
  Build
failed #404497
build:base

00:04:27

failed #404498
build:base+32bit

00:04:23

failed #404499
build:edge

00:04:49

failed #404500
build:edge+flambda

00:04:56

 
  Test
skipped #404512
ci-bedrock2
skipped #404513
ci-bignums
skipped #404514
ci-color
skipped #404515
ci-compcert
skipped #404516
ci-coq-dpdgraph
skipped #404517
ci-coquelicot
skipped #404518
ci-cross-crypto
skipped #404519
ci-elpi
skipped #404520
ci-equations
skipped #404521
ci-fcsl-pcm
skipped #404522
ci-fiat-crypto
skipped #404523
ci-fiat-crypto-legacy
skipped #404524
ci-fiat-parsers
skipped #404525
ci-flocq
skipped #404526
ci-formal-topology
skipped #404527
ci-geocoq
skipped #404528
ci-hott
skipped #404529
ci-iris-lambda-rust
skipped #404530
ci-ltac2
skipped #404531
ci-math-comp
skipped #404532
ci-mtac2
skipped #404533
ci-pidetop
skipped #404534
ci-quickchick
skipped #404535
ci-sf
skipped #404536
ci-unimath
skipped #404537
ci-vst
skipped #404503
doc:ml-api
skipped #404502
doc:refman
skipped #404501
pkg:nix
skipped #404504
test-suite:base
skipped #404505
test-suite:base+32bit
skipped #404506
test-suite:edge
skipped #404507
test-suite:edge+flambda
skipped #404508
validate:base
skipped #404509
validate:base+32bit
skipped #404510
validate:edge
skipped #404511
validate:edge+flambda
 
Name Stage Failure
failed
build:edge+flambda Build
Makefile.build:707: recipe for target 'plugins/ssr/ssrparser.cmo' failed
make[1]: *** [plugins/ssr/ssrparser.cmo] Error 2
make[1]: Leaving directory '/builds/ocaml-team/coq'
Makefile:166: recipe for target 'submake' failed
make: *** [submake] Error 2
Running after script...
$ echo "The build completed normally (not a runner failure)."
The build completed normally (not a runner failure).
ERROR: Job failed: exit code 1
failed
build:edge Build
Makefile.build:707: recipe for target 'plugins/ssr/ssrparser.cmo' failed
make[1]: *** [plugins/ssr/ssrparser.cmo] Error 2
make[1]: Leaving directory '/builds/ocaml-team/coq'
Makefile:166: recipe for target 'submake' failed
make: *** [submake] Error 2
Running after script...
$ echo "The build completed normally (not a runner failure)."
The build completed normally (not a runner failure).
ERROR: Job failed: exit code 1
failed
build:base Build
Makefile.build:707: recipe for target 'plugins/ssr/ssrparser.cmo' failed
make[1]: *** [plugins/ssr/ssrparser.cmo] Error 2
make[1]: Leaving directory '/builds/ocaml-team/coq'
Makefile:166: recipe for target 'submake' failed
make: *** [submake] Error 2
Running after script...
$ echo "The build completed normally (not a runner failure)."
The build completed normally (not a runner failure).
ERROR: Job failed: exit code 1
failed
build:base+32bit Build
Makefile.build:707: recipe for target 'plugins/ssr/ssrparser.cmo' failed
make[1]: *** [plugins/ssr/ssrparser.cmo] Error 2
make[1]: Leaving directory '/builds/ocaml-team/coq'
Makefile:166: recipe for target 'submake' failed
make: *** [submake] Error 2
Running after script...
$ echo "The build completed normally (not a runner failure)."
The build completed normally (not a runner failure).
ERROR: Job failed: exit code 1