Status Job Pipeline Stage Name Timing Coverage
failed #83807
partitioned
9f1add6d
#32357 by Maxime Lesourd's avatar build 1.10.0-coq-8.9

00:03:27

passed #83806
partitioned
9f1add6d
#32357 by Maxime Lesourd's avatar build 1.9.0-coq-8.11

00:05:24

passed #83805
partitioned
9f1add6d
#32357 by Maxime Lesourd's avatar build 1.9.0-coq-8.10

00:08:37

failed #83804
partitioned
9f1add6d
#32357 by Maxime Lesourd's avatar build 1.9.0-coq-8.9

00:03:47

passed #83601
partitioned
95b74067
#32321 by Maxime Lesourd's avatar process proof-state

00:05:35

failed #83600
partitioned
95b74067
#32321 by Maxime Lesourd's avatar process doc-classic

00:06:14

failed #83599
partitioned
95b74067
#32321 by Maxime Lesourd's avatar process doc

00:02:18

passed #83598
partitioned
95b74067
#32321 by Maxime Lesourd's avatar process validate-classic

00:01:10

passed #83597
partitioned
95b74067
#32321 by Maxime Lesourd's avatar process validate

00:00:49

failed #83596
partitioned
95b74067
allowed to fail
#32321 by Maxime Lesourd's avatar build coq-dev

00:04:49

failed #83595
partitioned
95b74067
allowed to fail
#32321 by Maxime Lesourd's avatar build coq-8.10

00:05:41

failed #83594
partitioned
95b74067
#32321 by Maxime Lesourd's avatar build spell-check

00:00:56

passed #83593
partitioned
95b74067
#32321 by Maxime Lesourd's avatar build proof-length

00:00:51

passed #83592
partitioned
95b74067
#32321 by Maxime Lesourd's avatar build build-for-process-classic

00:03:38

passed #83591
partitioned
95b74067
#32321 by Maxime Lesourd's avatar build build-for-process

00:02:05

passed #83590
partitioned
95b74067
#32321 by Maxime Lesourd's avatar build 1.10.0-coq-8.11

00:05:30

passed #83589
partitioned
95b74067
#32321 by Maxime Lesourd's avatar build 1.10.0-coq-8.10

00:05:29

failed #83588
partitioned
95b74067
#32321 by Maxime Lesourd's avatar build 1.10.0-coq-8.9

00:03:52

passed #83587
partitioned
95b74067
#32321 by Maxime Lesourd's avatar build 1.9.0-coq-8.11

00:08:19

passed #83586
partitioned
95b74067
#32321 by Maxime Lesourd's avatar build 1.9.0-coq-8.10

00:08:17

failed #83585
partitioned
95b74067
#32321 by Maxime Lesourd's avatar build 1.9.0-coq-8.9

00:03:52

passed #80341
partitioned
824873a3
#31615 by Maxime Lesourd's avatar process proof-state

00:04:53

passed #80340
partitioned
824873a3
#31615 by Maxime Lesourd's avatar process doc-classic

00:00:45

passed #80339
partitioned
824873a3
#31615 by Maxime Lesourd's avatar process doc

00:00:18

passed #80338
partitioned
824873a3
#31615 by Maxime Lesourd's avatar process validate-classic

00:01:10

passed #80337
partitioned
824873a3
#31615 by Maxime Lesourd's avatar process validate

00:00:49

failed #80336
partitioned
824873a3
allowed to fail
#31615 by Maxime Lesourd's avatar build coq-dev

00:05:29

failed #80335
partitioned
824873a3
allowed to fail
#31615 by Maxime Lesourd's avatar build coq-8.10

00:05:20

failed #80334
partitioned
824873a3
#31615 by Maxime Lesourd's avatar build spell-check

00:00:35

passed #80333
partitioned
824873a3
#31615 by Maxime Lesourd's avatar build proof-length

00:00:09