Status Job Pipeline Stage Name Timing Coverage
skipped #40385
martin
59e1dd31
#19289 by Martin PORTALIER's avatar process proof-length
skipped #40384
martin
59e1dd31
#19289 by Martin PORTALIER's avatar process doc
skipped #40383
martin
59e1dd31
#19289 by Martin PORTALIER's avatar process validate
failed #40382
martin
59e1dd31
#19289 by Martin PORTALIER's avatar build 1.9.0-coq-8.9

00:00:27

failed #40381
martin
59e1dd31
allowed to fail
#19289 by Martin PORTALIER's avatar build 1.9.0-coq-dev

00:00:14

passed #40380
martin
59e1dd31
#19289 by Martin PORTALIER's avatar build 1.8.0-coq-8.8

00:02:14

canceled #40379
martin
b611d1eb
#19288 by Martin PORTALIER's avatar process proof-length

canceled #40378
martin
b611d1eb
#19288 by Martin PORTALIER's avatar process doc

canceled #40377
martin
b611d1eb
#19288 by Martin PORTALIER's avatar process validate

canceled #40376
martin
b611d1eb
#19288 by Martin PORTALIER's avatar build 1.9.0-coq-8.9

canceled #40375
martin
b611d1eb
allowed to fail
#19288 by Martin PORTALIER's avatar build 1.9.0-coq-dev

canceled #40374
martin
b611d1eb
#19288 by Martin PORTALIER's avatar build 1.8.0-coq-8.8

canceled #40373
martin
841994bc
#19287 by Martin PORTALIER's avatar process proof-length

canceled #40372
martin
841994bc
#19287 by Martin PORTALIER's avatar process doc

canceled #40371
martin
841994bc
#19287 by Martin PORTALIER's avatar process validate

canceled #40370
martin
841994bc
#19287 by Martin PORTALIER's avatar build 1.9.0-coq-8.9

canceled #40369
martin
841994bc
allowed to fail
#19287 by Martin PORTALIER's avatar build 1.9.0-coq-dev

canceled #40368
martin
841994bc
#19287 by Martin PORTALIER's avatar build 1.8.0-coq-8.8

skipped #40367
martin
3234a508
#19286 by Martin PORTALIER's avatar process proof-length
skipped #40366
martin
3234a508
#19286 by Martin PORTALIER's avatar process doc
skipped #40365
martin
3234a508
#19286 by Martin PORTALIER's avatar process validate
failed #40364
martin
3234a508
#19286 by Martin PORTALIER's avatar build 1.9.0-coq-8.9

00:00:26

failed #40363
martin
3234a508
allowed to fail
#19286 by Martin PORTALIER's avatar build 1.9.0-coq-dev

00:00:14

passed #40362
martin
3234a508
#19286 by Martin PORTALIER's avatar build 1.8.0-coq-8.8

00:02:06

skipped #40361
martin
425ff442
#19285 by Martin PORTALIER's avatar process proof-length
skipped #40360
martin
425ff442
#19285 by Martin PORTALIER's avatar process doc
skipped #40359
martin
425ff442
#19285 by Martin PORTALIER's avatar process validate
failed #40358
martin
425ff442
#19285 by Martin PORTALIER's avatar build 1.9.0-coq-8.9

00:00:24

failed #40357
martin
425ff442
allowed to fail
#19285 by Martin PORTALIER's avatar build 1.9.0-coq-dev

00:00:14

passed #40356
martin
425ff442
#19285 by Martin PORTALIER's avatar build 1.8.0-coq-8.8

00:02:13