Status Job Pipeline Stage Name Timing Coverage
skipped #66005
twca
39c5d21f
#26914 by Maxime Lesourd's avatar process proof-state
passed #66004
twca
39c5d21f
#26914 by Maxime Lesourd's avatar process doc-classic

00:03:42

skipped #66003
twca
39c5d21f
#26914 by Maxime Lesourd's avatar process doc
passed #66002
twca
39c5d21f
#26914 by Maxime Lesourd's avatar process validate-classic

00:01:25

skipped #66001
twca
39c5d21f
#26914 by Maxime Lesourd's avatar process validate
failed #66000
twca
39c5d21f
allowed to fail
#26914 by Maxime Lesourd's avatar build coq-dev

00:03:17

failed #65999
twca
39c5d21f
allowed to fail
#26914 by Maxime Lesourd's avatar build coq-8.10

00:03:47

failed #65998
twca
39c5d21f
#26914 by Maxime Lesourd's avatar build spell-check

00:00:58

failed #65997
twca
39c5d21f
#26914 by Maxime Lesourd's avatar build proof-length

00:16:16

passed #65996
twca
39c5d21f
#26914 by Maxime Lesourd's avatar build build-for-process-classic

00:05:23

failed #65995
twca
39c5d21f
#26914 by Maxime Lesourd's avatar build build-for-process

00:02:40

failed #65994
twca
39c5d21f
#26914 by Maxime Lesourd's avatar build 1.10.0-coq-8.11

00:04:16

failed #65993
twca
39c5d21f
#26914 by Maxime Lesourd's avatar build 1.10.0-coq-8.10

00:04:22

failed #65992
twca
39c5d21f
#26914 by Maxime Lesourd's avatar build 1.10.0-coq-8.9

00:04:31

failed #65991
twca
39c5d21f
#26914 by Maxime Lesourd's avatar build 1.9.0-coq-8.11

00:03:56

failed #65990
twca
39c5d21f
#26914 by Maxime Lesourd's avatar build 1.9.0-coq-8.10

00:04:18

failed #65989
twca
39c5d21f
#26914 by Maxime Lesourd's avatar build 1.9.0-coq-8.9

00:04:18

skipped #65095
twca
39db2c72
#26730 by Maxime Lesourd's avatar process proof-state
passed #65094
twca
39db2c72
#26730 by Maxime Lesourd's avatar process doc-classic

00:04:22

skipped #65093
twca
39db2c72
#26730 by Maxime Lesourd's avatar process doc
passed #65092
twca
39db2c72
#26730 by Maxime Lesourd's avatar process validate-classic

00:01:58

skipped #65091
twca
39db2c72
#26730 by Maxime Lesourd's avatar process validate
failed #65090
twca
39db2c72
allowed to fail
#26730 by Maxime Lesourd's avatar build coq-dev

00:03:10

failed #65089
twca
39db2c72
allowed to fail
#26730 by Maxime Lesourd's avatar build coq-8.10

00:02:52

failed #65088
twca
39db2c72
#26730 by Maxime Lesourd's avatar build spell-check

00:01:36

failed #65087
twca
39db2c72
#26730 by Maxime Lesourd's avatar build proof-length

00:01:34

passed #65086
twca
39db2c72
#26730 by Maxime Lesourd's avatar build build-for-process-classic

00:04:41

failed #65085
twca
39db2c72
#26730 by Maxime Lesourd's avatar build build-for-process

00:16:41

failed #65084
twca
39db2c72
#26730 by Maxime Lesourd's avatar build 1.10.0-coq-8.11

00:06:05

failed #65083
twca
39db2c72
#26730 by Maxime Lesourd's avatar build 1.10.0-coq-8.10

00:06:06