Status Job Pipeline Stage Name Timing Coverage
passed #56154
cpa
3511d3e6
#24103 by Maxime Lesourd's avatar process doc-classic

00:00:30

passed #56152
cpa
3511d3e6
#24103 by Maxime Lesourd's avatar process validate-classic

00:00:53

failed #56150
cpa
3511d3e6
allowed to fail
#24103 by Maxime Lesourd's avatar build latest-coq-8.10

00:00:27

failed #56149
cpa
3511d3e6
allowed to fail
#24103 by Maxime Lesourd's avatar build 1.10.0-coq-dev

00:00:01

failed #56148
cpa
3511d3e6
#24103 by Maxime Lesourd's avatar build 1.9.0-coq-8.9

00:00:26

failed #56147
cpa
3511d3e6
#24103 by Maxime Lesourd's avatar build spell-check

00:00:25

passed #56146
cpa
3511d3e6
#24103 by Maxime Lesourd's avatar build proof-length

00:00:23

passed #56145
cpa
3511d3e6
#24103 by Maxime Lesourd's avatar build 1.9.0-coq-8.10-classic

00:01:51

failed #56144
cpa
3511d3e6
#24103 by Maxime Lesourd's avatar build 1.9.0-coq-8.10

00:00:23

passed #56016
cpa
a66a8086
#24015 by Maxime Lesourd's avatar process doc-classic

00:00:28

passed #56014
cpa
a66a8086
#24015 by Maxime Lesourd's avatar process validate-classic

00:00:54

failed #56012
cpa
a66a8086
allowed to fail
#24015 by Maxime Lesourd's avatar build latest-coq-8.10

00:00:28

failed #56011
cpa
a66a8086
allowed to fail
#24015 by Maxime Lesourd's avatar build 1.10.0-coq-dev

00:00:02

failed #56010
cpa
a66a8086
#24015 by Maxime Lesourd's avatar build 1.9.0-coq-8.9

00:00:32

failed #56009
cpa
a66a8086
#24015 by Maxime Lesourd's avatar build spell-check

00:00:38

passed #56008
cpa
a66a8086
#24015 by Maxime Lesourd's avatar build proof-length

00:00:27

passed #56007
cpa
a66a8086
#24015 by Maxime Lesourd's avatar build 1.9.0-coq-8.10-classic

00:03:02

failed #56006
cpa
a66a8086
#24015 by Maxime Lesourd's avatar build 1.9.0-coq-8.10

00:00:28

passed #55671
cpa
31b8a7a0
#23905 by Maxime Lesourd's avatar process doc-classic

00:00:29

passed #55669
cpa
31b8a7a0
#23905 by Maxime Lesourd's avatar process validate-classic

00:00:55

failed #55667
cpa
31b8a7a0
allowed to fail
#23905 by Maxime Lesourd's avatar build latest-coq-8.10

00:00:24

failed #55666
cpa
31b8a7a0
allowed to fail
#23905 by Maxime Lesourd's avatar build 1.10.0-coq-dev

00:00:01

failed #55665
cpa
31b8a7a0
#23905 by Maxime Lesourd's avatar build 1.9.0-coq-8.9

00:00:22

failed #55664
cpa
31b8a7a0
#23905 by Maxime Lesourd's avatar build spell-check

00:00:26

passed #55663
cpa
31b8a7a0
#23905 by Maxime Lesourd's avatar build proof-length

00:00:24

passed #55662
cpa
31b8a7a0
#23905 by Maxime Lesourd's avatar build 1.9.0-coq-8.10-classic

00:01:53

failed #55661
cpa
31b8a7a0
#23905 by Maxime Lesourd's avatar build 1.9.0-coq-8.10

00:00:25

passed #55115
cpa
07dd7331
#23635 by Maxime Lesourd's avatar process doc-classic

00:00:30

passed #55113
cpa
07dd7331
#23635 by Maxime Lesourd's avatar process validate-classic

00:00:54

failed #55111
cpa
07dd7331
allowed to fail
#23635 by Maxime Lesourd's avatar build latest-coq-8.10

00:00:26