Status Name Job Pipeline Stage Duration Coverage
passed coq:dev #103290
master
6b7b7d05
au
#14264 by Jakob Botsch Nielsen's avatar build

00:04:25

passed coq:8.10 #103289
master
6b7b7d05
au
#14264 by Jakob Botsch Nielsen's avatar build

00:03:57

passed coq:8.9 #103288
master
6b7b7d05
au
#14264 by Jakob Botsch Nielsen's avatar build

00:03:57

passed coq:8.8 #103287
master
6b7b7d05
au
#14264 by Jakob Botsch Nielsen's avatar build

00:03:53

passed coq:dev #103176
master
e3fb201d
au
#14229 by Jakob Botsch Nielsen's avatar build

00:04:18

passed coq:8.10 #103175
master
e3fb201d
au
#14229 by Jakob Botsch Nielsen's avatar build

00:03:52

passed coq:8.9 #103174
master
e3fb201d
au
#14229 by Jakob Botsch Nielsen's avatar build

00:03:07

passed coq:8.8 #103173
master
e3fb201d
au
#14229 by Jakob Botsch Nielsen's avatar build

00:03:37

passed coq:dev #102161
master
70f79956
au
#14034 by Jakob Botsch Nielsen's avatar build

00:05:20

passed coq:8.10 #102160
master
70f79956
au
#14034 by Jakob Botsch Nielsen's avatar build

00:03:45

passed coq:8.9 #102159
master
70f79956
au
#14034 by Jakob Botsch Nielsen's avatar build

00:04:09

passed coq:8.8 #102158
master
70f79956
au
#14034 by Jakob Botsch Nielsen's avatar build

00:03:29

passed coq:dev #101667
master
10b183ad
au
#13974 by Jakob Botsch Nielsen's avatar build

00:04:24

passed coq:8.10 #101666
master
10b183ad
au
#13974 by Jakob Botsch Nielsen's avatar build

00:03:01

passed coq:8.9 #101665
master
10b183ad
au
#13974 by Jakob Botsch Nielsen's avatar build

00:03:07

passed coq:8.8 #101664
master
10b183ad
au
#13974 by Jakob Botsch Nielsen's avatar build

00:02:50

passed coq:dev #101598
master
acf8d879
au
#13953 by Jakob Botsch Nielsen's avatar build

00:02:40

passed coq:8.10 #101597
master
acf8d879
au
#13953 by Jakob Botsch Nielsen's avatar build

00:03:04

passed coq:8.9 #101596
master
acf8d879
au
#13953 by Jakob Botsch Nielsen's avatar build

00:02:49

passed coq:8.8 #101595
master
acf8d879
au
#13953 by Jakob Botsch Nielsen's avatar build

00:02:49

passed coq:dev #101594
master
f070d9cd
au
#13952 by Jakob Botsch Nielsen's avatar build

00:03:40

passed coq:8.10 #101593
master
f070d9cd
au
#13952 by Jakob Botsch Nielsen's avatar build

00:03:50

failed coq:8.9 #101592
master
f070d9cd
au
#13952 by Jakob Botsch Nielsen's avatar build

00:00:38

failed coq:8.8 #101591
master
f070d9cd
au
#13952 by Jakob Botsch Nielsen's avatar build

00:00:34

passed coq:dev #101137
master
86df9fd4
au
#13814 by Jakob Botsch Nielsen's avatar build

00:03:32

passed coq:8.10 #101136
master
86df9fd4
au
#13814 by Jakob Botsch Nielsen's avatar build

00:03:54

passed coq:8.9 #101135
master
86df9fd4
au
#13814 by Jakob Botsch Nielsen's avatar build

00:03:22

passed coq:8.8 #101134
master
86df9fd4
au
#13814 by Jakob Botsch Nielsen's avatar build

00:03:38

passed coq:dev #101090
master
65b99ce6
au
#13808 by Jakob Botsch Nielsen's avatar build

00:03:46

passed coq:8.9 #101089
master
65b99ce6
au
#13808 by Jakob Botsch Nielsen's avatar build

00:04:27