Status Name Job Pipeline Stage Duration Coverage
passed proof-state #194675
refs/merge-requests/190/head
ef78aad2
#68044 by Björn Brandenburg's avatar build

00:10:10

passed spell-check #194674
refs/merge-requests/190/head
ef78aad2
#68044 by Björn Brandenburg's avatar build

00:00:25

passed proof-length #194673
refs/merge-requests/190/head
ef78aad2
#68044 by Björn Brandenburg's avatar build

00:00:13

passed classic-compile-and-doc-and-validate #194672
refs/merge-requests/190/head
ef78aad2
#68044 by Björn Brandenburg's avatar build

00:12:21

passed compile-and-validate #194671
refs/merge-requests/190/head
ef78aad2
#68044 by Björn Brandenburg's avatar build

00:05:13

passed compile-and-doc-and-validate #194670
refs/merge-requests/190/head
ef78aad2
#68044 by Björn Brandenburg's avatar build

00:05:20

passed 1.14.0-coq-8.15 #194669
refs/merge-requests/190/head
ef78aad2
#68044 by Björn Brandenburg's avatar build

00:15:05

passed 1.13.0-coq-8.14 #194668
refs/merge-requests/190/head
ef78aad2
#68044 by Björn Brandenburg's avatar build

00:14:33

passed proof-state #194666
master
3607c290
#68042 by Björn Brandenburg's avatar build

00:09:52

passed spell-check #194665
master
3607c290
#68042 by Björn Brandenburg's avatar build

00:00:21

passed proof-length #194664
master
3607c290
#68042 by Björn Brandenburg's avatar build

00:00:17

passed classic-compile-and-doc-and-validate #194663
master
3607c290
#68042 by Björn Brandenburg's avatar build

00:12:18

passed compile-and-validate #194662
master
3607c290
#68042 by Björn Brandenburg's avatar build

00:04:57

passed compile-and-doc-and-validate #194661
master
3607c290
#68042 by Björn Brandenburg's avatar build

00:05:14

passed 1.14.0-coq-8.15 #194660
master
3607c290
#68042 by Björn Brandenburg's avatar build

00:15:00

passed 1.13.0-coq-8.14 #194659
master
3607c290
#68042 by Björn Brandenburg's avatar build

00:15:27

passed proof-state #194658
master
593e348f
#68041 by Björn Brandenburg's avatar build

00:09:40

passed spell-check #194657
master
593e348f
#68041 by Björn Brandenburg's avatar build

00:00:35

passed proof-length #194656
master
593e348f
#68041 by Björn Brandenburg's avatar build

00:00:10

passed classic-compile-and-doc-and-validate #194655
master
593e348f
#68041 by Björn Brandenburg's avatar build

00:12:53

passed compile-and-validate #194654
master
593e348f
#68041 by Björn Brandenburg's avatar build

00:05:36

passed compile-and-doc-and-validate #194653
master
593e348f
#68041 by Björn Brandenburg's avatar build

00:05:49

passed 1.14.0-coq-8.15 #194652
master
593e348f
#68041 by Björn Brandenburg's avatar build

00:15:35

passed 1.13.0-coq-8.14 #194651
master
593e348f
#68041 by Björn Brandenburg's avatar build

00:14:40

passed compile-and-doc-and-validate #194650
refs/merge-requests/217/head
593e348f
#68038 by Björn Brandenburg's avatar build

00:05:15

passed proof-state #194649
refs/merge-requests/216/head
3607c290
#68040 by Björn Brandenburg's avatar build

00:10:29

passed spell-check #194648
refs/merge-requests/216/head
3607c290
#68040 by Björn Brandenburg's avatar build

00:00:14

passed proof-length #194647
refs/merge-requests/216/head
3607c290
#68040 by Björn Brandenburg's avatar build

00:00:07

passed classic-compile-and-doc-and-validate #194646
refs/merge-requests/216/head
3607c290
#68040 by Björn Brandenburg's avatar build

00:12:08

passed compile-and-validate #194645
refs/merge-requests/216/head
3607c290
#68040 by Björn Brandenburg's avatar build

00:04:56