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

00:02:16

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

00:00:54

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

00:02:41

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

00:02:15

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

00:05:11

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

00:10:12

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

00:10:48

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

00:00:48

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

00:00:41

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

00:07:11

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

00:03:20

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

00:11:18

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

00:11:19

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

00:11:19

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

00:11:14

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

00:11:09

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

00:11:17

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

00:00:17

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

00:03:21

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

00:01:36

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

00:02:24

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

00:00:18

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

00:02:23