Status Name Job Pipeline Stage Duration Coverage
passed doc-classic #145837
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar process

00:03:19

passed doc #145836
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar process

00:01:55

passed validate-classic #145835
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar process

00:04:24

passed validate #145834
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar process

00:02:19

passed proof-state #145833
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar build

00:06:36

failed coq-dev #145832
refs/merge-requests/148/head
fcde91ef
allowed to fail
#53953 by Björn Brandenburg's avatar build

00:00:49

passed coq-8.13 #145831
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar build

00:05:30

passed spell-check #145830
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar build

00:00:13

passed proof-length #145829
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar build

00:00:07

passed compile-classic #145828
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar build

00:02:24

passed compile #145827
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar build

00:01:20

passed 1.12.0-coq-8.13 #145826
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar build

00:03:57

passed 1.11.0-coq-8.12 #145825
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar build

00:04:26

passed 1.11.0-coq-8.11 #145824
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar build

00:05:13

passed 1.10.0-coq-8.11 #145823
refs/merge-requests/148/head
fcde91ef
#53953 by Björn Brandenburg's avatar build

00:05:12

passed doc-classic #145822
master
1b778299
#53952 by Björn Brandenburg's avatar process

00:03:27

passed doc #145821
master
1b778299
#53952 by Björn Brandenburg's avatar process

00:02:03

passed validate-classic #145820
master
1b778299
#53952 by Björn Brandenburg's avatar process

00:01:18

passed validate #145819
master
1b778299
#53952 by Björn Brandenburg's avatar process

00:00:47

passed proof-state #145818
master
1b778299
#53952 by Björn Brandenburg's avatar build

00:07:15

failed coq-dev #145817
master
1b778299
allowed to fail
#53952 by Björn Brandenburg's avatar build

00:02:09

passed coq-8.13 #145816
master
1b778299
#53952 by Björn Brandenburg's avatar build

00:03:52

passed spell-check #145815
master
1b778299
#53952 by Björn Brandenburg's avatar build

00:00:21

passed proof-length #145814
master
1b778299
#53952 by Björn Brandenburg's avatar build

00:00:13

passed compile-classic #145813
master
1b778299
#53952 by Björn Brandenburg's avatar build

00:02:54

passed compile #145812
master
1b778299
#53952 by Björn Brandenburg's avatar build

00:01:23

passed 1.12.0-coq-8.13 #145811
master
1b778299
#53952 by Björn Brandenburg's avatar build

00:04:58

passed 1.11.0-coq-8.12 #145810
master
1b778299
#53952 by Björn Brandenburg's avatar build

00:04:22

passed 1.11.0-coq-8.11 #145809
master
1b778299
#53952 by Björn Brandenburg's avatar build

00:06:33

passed 1.10.0-coq-8.11 #145808
master
1b778299
#53952 by Björn Brandenburg's avatar build

00:06:29