Imported Upstream version 8.9.0

42 jobs for upstream/8.9.0 in 60 minutes and 1 second (queued for 9 seconds)
latest
Status Job ID Name Coverage
  Docker
failed #123264
docker
docker-boot

01:00:01

 
  Build
skipped #123265
build:base
skipped #123266
build:base+32bit
skipped #123267
build:edge
skipped #123268
build:edge+flambda
 
  Test
skipped #123280
ci-bedrock2
skipped #123281
ci-bignums
skipped #123282
ci-color
skipped #123283
ci-compcert
skipped #123284
ci-coq-dpdgraph
skipped #123285
ci-coquelicot
skipped #123286
ci-cross-crypto
skipped #123287
ci-elpi
skipped #123288
ci-equations
skipped #123289
ci-fcsl-pcm
skipped #123290
ci-fiat-crypto
skipped #123291
ci-fiat-crypto-legacy
skipped #123292
ci-fiat-parsers
skipped #123293
ci-flocq
skipped #123294
ci-formal-topology
skipped #123295
ci-geocoq
skipped #123296
ci-hott
skipped #123297
ci-iris-lambda-rust
skipped #123298
ci-ltac2
skipped #123299
ci-math-comp
skipped #123300
ci-mtac2
skipped #123301
ci-pidetop
skipped #123302
ci-quickchick
skipped #123303
ci-sf
skipped #123304
ci-unimath
skipped #123305
ci-vst
skipped #123271
doc:ml-api
skipped #123270
doc:refman
skipped #123269
pkg:nix
skipped #123272
test-suite:base
skipped #123273
test-suite:base+32bit
skipped #123274
test-suite:edge
skipped #123275
test-suite:edge+flambda
skipped #123276
validate:base
skipped #123277
validate:base+32bit
skipped #123278
validate:edge
skipped #123279
validate:edge+flambda
 
Name Stage Failure
failed
docker-boot Docker The script exceeded the maximum execution time set for the job
1a93cf73df98: Pushed
4b7d93055d87: Layer already exists
663e8522d78b: Layer already exists
283fb404ea94: Layer already exists
bebe7ce6215a: Layer already exists
d48497f275b1: Pushed
9d486e72167f: Pushed
Pulling docker image gitlab/gitlab-runner-helper:x86_64-latest ...
ERROR: Job failed: execution took longer than 1h0m0s seconds