Status Job Pipeline Stage Name Timing Coverage
passed #57834
master
817da8b4
#24704 by Xiaojie Guo's avatar process proof-state

00:02:16

passed #57833
master
817da8b4
#24704 by Xiaojie Guo's avatar process doc-classic

00:00:54

failed #57832
master
817da8b4
#24704 by Xiaojie Guo's avatar process doc

00:02:41

passed #57831
master
817da8b4
#24704 by Xiaojie Guo's avatar process validate-classic

00:02:15

passed #57830
master
817da8b4
#24704 by Xiaojie Guo's avatar process validate

00:05:11

passed #57829
master
817da8b4
#24704 by Xiaojie Guo's avatar build coq-dev

00:10:12

passed #57828
master
817da8b4
#24704 by Xiaojie Guo's avatar build coq-8.10

00:10:48

passed #57827
master
817da8b4
#24704 by Xiaojie Guo's avatar build spell-check

00:00:48

passed #57826
master
817da8b4
#24704 by Xiaojie Guo's avatar build proof-length

00:00:41

passed #57825
master
817da8b4
#24704 by Xiaojie Guo's avatar build build-for-process-classic

00:07:11

passed #57824
master
817da8b4
#24704 by Xiaojie Guo's avatar build build-for-process

00:03:20

passed #57823
master
817da8b4
#24704 by Xiaojie Guo's avatar build 1.10.0-coq-8.11

00:11:18

passed #57822
master
817da8b4
#24704 by Xiaojie Guo's avatar build 1.10.0-coq-8.10

00:11:19

passed #57821
master
817da8b4
#24704 by Xiaojie Guo's avatar build 1.10.0-coq-8.9

00:11:19

passed #57820
master
817da8b4
#24704 by Xiaojie Guo's avatar build 1.9.0-coq-8.11

00:11:14

passed #57819
master
817da8b4
#24704 by Xiaojie Guo's avatar build 1.9.0-coq-8.10

00:11:09

passed #57818
master
817da8b4
#24704 by Xiaojie Guo's avatar build 1.9.0-coq-8.9

00:11:17

passed #36287
master
f7aaa70c
#18212 by Xiaojie Guo's avatar process proof-length

00:00:17

passed #36286
master
f7aaa70c
#18212 by Xiaojie Guo's avatar process doc

00:03:21

passed #36285
master
f7aaa70c
#18212 by Xiaojie Guo's avatar process validate

00:01:36

passed #36284
master
f7aaa70c
#18212 by Xiaojie Guo's avatar build 1.9.0-coq-8.9

00:02:24

failed #36283
master
f7aaa70c
allowed to fail
#18212 by Xiaojie Guo's avatar build 1.9.0-coq-dev

00:00:18

passed #36282
master
f7aaa70c
#18212 by Xiaojie Guo's avatar build 1.8.0-coq-8.8

00:02:23