Status Job Pipeline Stage Name Timing Coverage
passed #84144
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar process proof-state

00:05:07

passed #84143
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar process doc-classic

00:00:50

passed #84142
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar process doc

00:00:42

passed #84141
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar process validate-classic

00:01:12

passed #84140
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar process validate

00:03:48

failed #84139
partitioned
1ff8d683
allowed to fail
#32422 by Maxime Lesourd's avatar build coq-dev

00:05:01

failed #84138
partitioned
1ff8d683
allowed to fail
#32422 by Maxime Lesourd's avatar build coq-8.10

00:05:19

failed #84137
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar build spell-check

00:00:54

passed #84136
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar build proof-length

00:00:57

passed #84135
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar build build-for-process-classic

00:05:17

passed #84134
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar build build-for-process

00:02:00

passed #84133
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar build 1.10.0-coq-8.11

00:05:30

passed #84132
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar build 1.10.0-coq-8.10

00:07:25

failed #84131
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar build 1.10.0-coq-8.9

00:02:20

passed #84130
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar build 1.9.0-coq-8.11

00:07:26

passed #84129
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar build 1.9.0-coq-8.10

00:05:26

failed #84128
partitioned
1ff8d683
#32422 by Maxime Lesourd's avatar build 1.9.0-coq-8.9

00:02:59

passed #83820
partitioned
9f1add6d
#32357 by Maxime Lesourd's avatar process proof-state

00:05:44

passed #83819
partitioned
9f1add6d
#32357 by Maxime Lesourd's avatar process doc-classic

00:01:09

passed #83818
partitioned
9f1add6d
#32357 by Maxime Lesourd's avatar process doc

00:00:51

passed #83817
partitioned
9f1add6d
#32357 by Maxime Lesourd's avatar process validate-classic

00:02:17

passed #83816
partitioned
9f1add6d
#32357 by Maxime Lesourd's avatar process validate

00:01:48

failed #83815
partitioned
9f1add6d
allowed to fail
#32357 by Maxime Lesourd's avatar build coq-dev

00:06:27

failed #83814
partitioned
9f1add6d
allowed to fail
#32357 by Maxime Lesourd's avatar build coq-8.10

00:03:13

failed #83813
partitioned
9f1add6d
#32357 by Maxime Lesourd's avatar build spell-check

00:00:56

passed #83812
partitioned
9f1add6d
#32357 by Maxime Lesourd's avatar build proof-length

00:00:56

passed #83811
partitioned
9f1add6d
#32357 by Maxime Lesourd's avatar build build-for-process-classic

00:03:33

passed #83810
partitioned
9f1add6d
#32357 by Maxime Lesourd's avatar build build-for-process

00:02:34

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

00:08:39

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

00:08:39