Status Name Job Pipeline Stage Duration Coverage
passed doc-classic #145883
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar process

00:00:29

passed doc #145882
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar process

00:03:33

passed validate-classic #145881
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar process

00:01:07

passed validate #145880
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar process

00:03:27

passed proof-state #145879
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar build

00:06:33

failed coq-dev #145878
refs/merge-requests/130/head
13a95420
allowed to fail
#53958 by Björn Brandenburg's avatar build

00:00:54

passed coq-8.13 #145877
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar build

00:03:30

passed spell-check #145876
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar build

00:00:23

passed proof-length #145875
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar build

00:00:10

passed compile-classic #145874
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar build

00:02:06

passed compile #145873
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar build

00:01:43

passed 1.12.0-coq-8.13 #145872
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar build

00:03:29

passed 1.11.0-coq-8.12 #145871
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar build

00:05:31

passed 1.11.0-coq-8.11 #145870
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar build

00:04:35

passed 1.10.0-coq-8.11 #145869
refs/merge-requests/130/head
13a95420
#53958 by Björn Brandenburg's avatar build

00:06:26

passed doc-classic #145867
master
fcde91ef
#53956 by Björn Brandenburg's avatar process

00:00:28

passed doc #145866
master
fcde91ef
#53956 by Björn Brandenburg's avatar process

00:01:47

passed validate-classic #145865
master
fcde91ef
#53956 by Björn Brandenburg's avatar process

00:01:10

passed validate #145864
master
fcde91ef
#53956 by Björn Brandenburg's avatar process

00:02:10

passed proof-state #145863
master
fcde91ef
#53956 by Björn Brandenburg's avatar build

00:06:31

failed coq-dev #145862
master
fcde91ef
allowed to fail
#53956 by Björn Brandenburg's avatar build

00:00:53

passed coq-8.13 #145861
master
fcde91ef
#53956 by Björn Brandenburg's avatar build

00:03:28

passed spell-check #145860
master
fcde91ef
#53956 by Björn Brandenburg's avatar build

00:00:21

passed proof-length #145859
master
fcde91ef
#53956 by Björn Brandenburg's avatar build

00:00:13

passed compile-classic #145858
master
fcde91ef
#53956 by Björn Brandenburg's avatar build

00:02:56

passed compile #145857
master
fcde91ef
#53956 by Björn Brandenburg's avatar build

00:01:12

passed 1.12.0-coq-8.13 #145856
master
fcde91ef
#53956 by Björn Brandenburg's avatar build

00:04:55

passed 1.11.0-coq-8.12 #145855
master
fcde91ef
#53956 by Björn Brandenburg's avatar build

00:03:45

passed 1.11.0-coq-8.11 #145854
master
fcde91ef
#53956 by Björn Brandenburg's avatar build

00:06:32

passed 1.10.0-coq-8.11 #145853
master
fcde91ef
#53956 by Björn Brandenburg's avatar build

00:06:32