Status Job Pipeline Stage Name Timing Coverage
passed #53834
coq.dev
12f79735
#23157 by Pierre Roux's avatar process proof-state

00:01:53

passed #53833
coq.dev
12f79735
#23157 by Pierre Roux's avatar process doc-classic

00:00:30

passed #53832
coq.dev
12f79735
#23157 by Pierre Roux's avatar process doc

00:00:22

passed #53831
coq.dev
12f79735
#23157 by Pierre Roux's avatar process validate-classic

00:00:57

passed #53830
coq.dev
12f79735
#23157 by Pierre Roux's avatar process validate

00:00:49

passed #53829
coq.dev
12f79735
allowed to fail
#23157 by Pierre Roux's avatar build latest-coq-8.10

00:01:32

failed #53828
coq.dev
12f79735
allowed to fail
#23157 by Pierre Roux's avatar build 1.10.0-coq-dev

00:00:01

passed #53827
coq.dev
12f79735
#23157 by Pierre Roux's avatar build 1.9.0-coq-8.9

00:01:32

passed #53826
coq.dev
12f79735
#23157 by Pierre Roux's avatar build spell-check

00:00:31

passed #53825
coq.dev
12f79735
#23157 by Pierre Roux's avatar build proof-length

00:00:21

passed #53824
coq.dev
12f79735
#23157 by Pierre Roux's avatar build 1.9.0-coq-8.10-classic

00:02:39

passed #53823
coq.dev
12f79735
#23157 by Pierre Roux's avatar build 1.9.0-coq-8.10

00:01:33

passed #53817
coq.dev
33e598d5
#23152 by Pierre Roux's avatar process proof-state

00:01:58

passed #53816
coq.dev
33e598d5
#23152 by Pierre Roux's avatar process doc-classic

00:00:30

passed #53815
coq.dev
33e598d5
#23152 by Pierre Roux's avatar process doc

00:00:35

passed #53814
coq.dev
33e598d5
#23152 by Pierre Roux's avatar process validate-classic

00:00:56

passed #53813
coq.dev
33e598d5
#23152 by Pierre Roux's avatar process validate

00:01:01

passed #53812
coq.dev
33e598d5
allowed to fail
#23152 by Pierre Roux's avatar build latest-coq-8.10

00:01:34

failed #53811
coq.dev
33e598d5
allowed to fail
#23152 by Pierre Roux's avatar build 1.9.0-coq-dev

00:00:01

passed #53810
coq.dev
33e598d5
#23152 by Pierre Roux's avatar build 1.9.0-coq-8.9

00:01:34

passed #53809
coq.dev
33e598d5
#23152 by Pierre Roux's avatar build spell-check

00:00:30

passed #53808
coq.dev
33e598d5
#23152 by Pierre Roux's avatar build proof-length

00:00:23

passed #53807
coq.dev
33e598d5
#23152 by Pierre Roux's avatar build 1.9.0-coq-8.10-classic

00:02:45

passed #53806
coq.dev
33e598d5
#23152 by Pierre Roux's avatar build 1.9.0-coq-8.10

00:01:34

passed #53463
mathcomp.1.10
aae959e6
#23059 by Pierre Roux's avatar process proof-state

00:01:53

passed #53462
mathcomp.1.10
aae959e6
#23059 by Pierre Roux's avatar process doc-classic

00:00:31

passed #53461
mathcomp.1.10
aae959e6
#23059 by Pierre Roux's avatar process doc

00:00:26

passed #53460
mathcomp.1.10
aae959e6
#23059 by Pierre Roux's avatar process validate-classic

00:00:57

passed #53459
mathcomp.1.10
aae959e6
#23059 by Pierre Roux's avatar process validate

00:00:48

passed #53458
mathcomp.1.10
aae959e6
allowed to fail
#23059 by Pierre Roux's avatar build latest-coq-8.10

00:01:32