New upstream version 8.9.1

42 jobs for upstream/8.9.1 in 9 minutes and 45 seconds (queued for 10 seconds)
latest
Status Job ID Name Coverage
  Docker
passed #283693
docker
docker-boot

00:04:09

 
  Build
failed #283694
build:base

00:05:11

failed #283695
build:base+32bit

00:05:02

failed #283696
build:edge

00:05:34

failed #283697
build:edge+flambda

00:05:31

 
  Test
skipped #283709
ci-bedrock2
skipped #283710
ci-bignums
skipped #283711
ci-color
skipped #283712
ci-compcert
skipped #283713
ci-coq-dpdgraph
skipped #283714
ci-coquelicot
skipped #283715
ci-cross-crypto
skipped #283716
ci-elpi
skipped #283717
ci-equations
skipped #283718
ci-fcsl-pcm
skipped #283719
ci-fiat-crypto
skipped #283720
ci-fiat-crypto-legacy
skipped #283721
ci-fiat-parsers
skipped #283722
ci-flocq
skipped #283723
ci-formal-topology
skipped #283724
ci-geocoq
skipped #283725
ci-hott
skipped #283726
ci-iris-lambda-rust
skipped #283727
ci-ltac2
skipped #283728
ci-math-comp
skipped #283729
ci-mtac2
skipped #283730
ci-pidetop
skipped #283731
ci-quickchick
skipped #283732
ci-sf
skipped #283733
ci-unimath
skipped #283734
ci-vst
skipped #283700
doc:ml-api
skipped #283699
doc:refman
skipped #283698
pkg:nix
skipped #283701
test-suite:base
skipped #283702
test-suite:base+32bit
skipped #283703
test-suite:edge
skipped #283704
test-suite:edge+flambda
skipped #283705
validate:base
skipped #283706
validate:base+32bit
skipped #283707
validate:edge
skipped #283708
validate:edge+flambda
 
Name Stage Failure
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: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: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