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

passed #80332
partitioned
824873a3
#31615 by Maxime Lesourd's avatar build build-for-process-classic

00:05:39

passed #80331
partitioned
824873a3
#31615 by Maxime Lesourd's avatar build build-for-process

00:01:58

passed #80330
partitioned
824873a3
#31615 by Maxime Lesourd's avatar build 1.10.0-coq-8.11

00:05:26

passed #80329
partitioned
824873a3
#31615 by Maxime Lesourd's avatar build 1.10.0-coq-8.10

00:05:22

failed #80328
partitioned
824873a3
#31615 by Maxime Lesourd's avatar build 1.10.0-coq-8.9

00:02:45

passed #80327
partitioned
824873a3
#31615 by Maxime Lesourd's avatar build 1.9.0-coq-8.11

00:07:07

passed #80326
partitioned
824873a3
#31615 by Maxime Lesourd's avatar build 1.9.0-coq-8.10

00:07:01

failed #80325
partitioned
824873a3
#31615 by Maxime Lesourd's avatar build 1.9.0-coq-8.9

00:02:48

failed #80314
partitioned
11bcd2e4
#31608 by Maxime Lesourd's avatar process proof-state

00:02:35

passed #80313
partitioned
11bcd2e4
#31608 by Maxime Lesourd's avatar process doc-classic

00:00:41

passed #80312
partitioned
11bcd2e4
#31608 by Maxime Lesourd's avatar process doc

00:00:45

passed #80311
partitioned
11bcd2e4
#31608 by Maxime Lesourd's avatar process validate-classic

00:01:21

passed #80310
partitioned
11bcd2e4
#31608 by Maxime Lesourd's avatar process validate

00:01:35

failed #80309
partitioned
11bcd2e4
allowed to fail
#31608 by Maxime Lesourd's avatar build coq-dev

00:04:32

failed #80308
partitioned
11bcd2e4
allowed to fail
#31608 by Maxime Lesourd's avatar build coq-8.10

00:04:19

failed #80307
partitioned
11bcd2e4
#31608 by Maxime Lesourd's avatar build spell-check

00:00:43

passed #80306
partitioned
11bcd2e4
#31608 by Maxime Lesourd's avatar build proof-length

00:00:36

passed #80305
partitioned
11bcd2e4
#31608 by Maxime Lesourd's avatar build build-for-process-classic

00:04:30

passed #80304
partitioned
11bcd2e4
#31608 by Maxime Lesourd's avatar build build-for-process

00:02:21

passed #80303
partitioned
11bcd2e4
#31608 by Maxime Lesourd's avatar build 1.10.0-coq-8.11

00:05:24

passed #80302
partitioned
11bcd2e4
#31608 by Maxime Lesourd's avatar build 1.10.0-coq-8.10

00:05:18