Status Job Pipeline Stage Name Timing Coverage
skipped #40570
martin
2bba5157
#19345 by Xiaojie Guo's avatar process proof-length
skipped #40569
martin
2bba5157
#19345 by Xiaojie Guo's avatar process doc
skipped #40568
martin
2bba5157
#19345 by Xiaojie Guo's avatar process validate
failed #40567
martin
2bba5157
#19345 by Xiaojie Guo's avatar build 1.9.0-coq-8.9

00:00:24

failed #40566
martin
2bba5157
allowed to fail
#19345 by Xiaojie Guo's avatar build 1.9.0-coq-dev

00:01:14

passed #40565
martin
2bba5157
#19345 by Xiaojie Guo's avatar build 1.8.0-coq-8.8

00:01:54

failed #40409
jonathan
cfda18a2
#19293 by jonathan julou's avatar process proof-length

00:00:13

passed #40408
jonathan
cfda18a2
#19293 by jonathan julou's avatar process doc

00:03:06

passed #40407
jonathan
cfda18a2
#19293 by jonathan julou's avatar process validate

00:04:12

passed #40406
jonathan
cfda18a2
#19293 by jonathan julou's avatar build 1.9.0-coq-8.9

00:02:05

failed #40405
jonathan
cfda18a2
allowed to fail
#19293 by jonathan julou's avatar build 1.9.0-coq-dev

00:00:14

passed #40404
jonathan
cfda18a2
#19293 by jonathan julou's avatar build 1.8.0-coq-8.8

00:02:04

skipped #40403
martin
d31dbf2b
#19292 by Martin PORTALIER's avatar process proof-length
skipped #40402
martin
d31dbf2b
#19292 by Martin PORTALIER's avatar process doc
skipped #40401
martin
d31dbf2b
#19292 by Martin PORTALIER's avatar process validate
failed #40400
martin
d31dbf2b
#19292 by Martin PORTALIER's avatar build 1.9.0-coq-8.9

00:00:28

failed #40399
martin
d31dbf2b
allowed to fail
#19292 by Martin PORTALIER's avatar build 1.9.0-coq-dev

00:00:14

passed #40398
martin
d31dbf2b
#19292 by Martin PORTALIER's avatar build 1.8.0-coq-8.8

00:02:07

skipped #40397
martin
a2e2342c
#19291 by Martin PORTALIER's avatar process proof-length
skipped #40396
martin
a2e2342c
#19291 by Martin PORTALIER's avatar process doc
skipped #40395
martin
a2e2342c
#19291 by Martin PORTALIER's avatar process validate
failed #40394
martin
a2e2342c
#19291 by Martin PORTALIER's avatar build 1.9.0-coq-8.9

00:00:26

failed #40393
martin
a2e2342c
allowed to fail
#19291 by Martin PORTALIER's avatar build 1.9.0-coq-dev

00:00:15

passed #40392
martin
a2e2342c
#19291 by Martin PORTALIER's avatar build 1.8.0-coq-8.8

00:02:10

skipped #40391
martin
2b71ab39
#19290 by Martin PORTALIER's avatar process proof-length
skipped #40390
martin
2b71ab39
#19290 by Martin PORTALIER's avatar process doc
skipped #40389
martin
2b71ab39
#19290 by Martin PORTALIER's avatar process validate
failed #40388
martin
2b71ab39
#19290 by Martin PORTALIER's avatar build 1.9.0-coq-8.9

00:00:29

failed #40387
martin
2b71ab39
allowed to fail
#19290 by Martin PORTALIER's avatar build 1.9.0-coq-dev

00:00:14

passed #40386
martin
2b71ab39
#19290 by Martin PORTALIER's avatar build 1.8.0-coq-8.8

00:02:00