Status Job Pipeline Stage Name Timing Coverage
passed #105002
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar process proof-state

00:04:43

passed #105001
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar process doc-classic

00:00:32

passed #105000
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar process doc

00:00:19

passed #104999
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar process validate-classic

00:01:42

passed #104998
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar process validate

00:01:07

passed #104997
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar build coq-dev

00:04:31

passed #104996
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar build coq-8.12

00:05:31

failed #104995
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar build spell-check

00:00:15

passed #104994
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar build proof-length

00:00:08

passed #104993
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar build build-for-process-classic

00:03:40

passed #104992
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar build build-for-process

00:02:27

passed #104991
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar build 1.11.0-coq-8.12

00:05:10

passed #104990
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar build 1.11.0-coq-8.11

00:06:15

passed #104989
dependencies
322a3c1d
#38715 by Maxime Lesourd's avatar build 1.10.0-coq-8.11

00:06:12

passed #104988
dependencies
2274a668
#38714 by Maxime Lesourd's avatar process proof-state

00:04:42

passed #104987
dependencies
2274a668
#38714 by Maxime Lesourd's avatar process doc-classic

00:00:33

passed #104986
dependencies
2274a668
#38714 by Maxime Lesourd's avatar process doc

00:00:20

passed #104985
dependencies
2274a668
#38714 by Maxime Lesourd's avatar process validate-classic

00:01:17

passed #104984
dependencies
2274a668
#38714 by Maxime Lesourd's avatar process validate

00:00:59

passed #104983
dependencies
2274a668
#38714 by Maxime Lesourd's avatar build coq-dev

00:05:00

passed #104982
dependencies
2274a668
#38714 by Maxime Lesourd's avatar build coq-8.12

00:06:01

failed #104981
dependencies
2274a668
#38714 by Maxime Lesourd's avatar build spell-check

00:00:15

passed #104980
dependencies
2274a668
#38714 by Maxime Lesourd's avatar build proof-length

00:00:08

passed #104979
dependencies
2274a668
#38714 by Maxime Lesourd's avatar build build-for-process-classic

00:03:47

passed #104978
dependencies
2274a668
#38714 by Maxime Lesourd's avatar build build-for-process

00:02:28

passed #104977
dependencies
2274a668
#38714 by Maxime Lesourd's avatar build 1.11.0-coq-8.12

00:05:10

passed #104976
dependencies
2274a668
#38714 by Maxime Lesourd's avatar build 1.11.0-coq-8.11

00:06:14

passed #104975
dependencies
2274a668
#38714 by Maxime Lesourd's avatar build 1.10.0-coq-8.11

00:06:14

failed #104969
dependencies
9ee743c6
#38711 by Maxime Lesourd's avatar process doc-classic

00:30:40

passed #104967
dependencies
9ee743c6
#38711 by Maxime Lesourd's avatar process validate-classic

00:07:42