Update changelog

42 jobs for master in 9 minutes and 43 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Docker
passed #262199
docker
docker-boot

00:04:07

 
  Build
failed #262200
build:base

00:05:14

failed #262201
build:base+32bit

00:05:01

failed #262202
build:edge

00:05:18

failed #262203
build:edge+flambda

00:05:33

 
  Test
skipped #262215
ci-bedrock2
skipped #262216
ci-bignums
skipped #262217
ci-color
skipped #262218
ci-compcert
skipped #262219
ci-coq-dpdgraph
skipped #262220
ci-coquelicot
skipped #262221
ci-cross-crypto
skipped #262222
ci-elpi
skipped #262223
ci-equations
skipped #262224
ci-fcsl-pcm
skipped #262225
ci-fiat-crypto
skipped #262226
ci-fiat-crypto-legacy
skipped #262227
ci-fiat-parsers
skipped #262228
ci-flocq
skipped #262229
ci-formal-topology
skipped #262230
ci-geocoq
skipped #262231
ci-hott
skipped #262232
ci-iris-lambda-rust
skipped #262233
ci-ltac2
skipped #262234
ci-math-comp
skipped #262235
ci-mtac2
skipped #262236
ci-pidetop
skipped #262237
ci-quickchick
skipped #262238
ci-sf
skipped #262239
ci-unimath
skipped #262240
ci-vst
skipped #262206
doc:ml-api
skipped #262205
doc:refman
skipped #262204
pkg:nix
skipped #262207
test-suite:base
skipped #262208
test-suite:base+32bit
skipped #262209
test-suite:edge
skipped #262210
test-suite:edge+flambda
skipped #262211
validate:base
skipped #262212
validate:base+32bit
skipped #262213
validate:edge
skipped #262214
validate:edge+flambda
 
Name Stage Failure
failed
build:edge+flambda Build
Makefile.build:703: 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:703: 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:703: 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:703: 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