Status Job Pipeline Stage Name Timing Coverage
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

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

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

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

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