Status Job Pipeline Stage Name Timing Coverage
passed #102161
master
70f79956
au
#14034 by Jakob Botsch Nielsen's avatar build coq:dev

00:05:20

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

00:03:45

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

00:04:09

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

00:03:29

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

00:04:24

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

00:03:01

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

00:03:07

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

00:02:50

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

00:02:40

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

00:03:04

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

00:02:49

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

00:02:49

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

00:03:40

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

00:03:50

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

00:00:38

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

00:00:34

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

00:03:32

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

00:03:54

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

00:03:22

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

00:03:38

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

00:03:46

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

00:04:27

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

00:03:45

passed #100834
master
cfebc81e
au
#13778 by Jakob Botsch Nielsen's avatar build coq:dev

00:03:41

passed #100833
master
cfebc81e
au
#13778 by Jakob Botsch Nielsen's avatar build coq:8.9

00:03:46

passed #100832
master
cfebc81e
au
#13778 by Jakob Botsch Nielsen's avatar build coq:8.8

00:03:45

passed #100553
v1.0
86b9f7c1
au
#13730 by Jakob Botsch Nielsen's avatar build coq:dev

00:03:42

passed #100552
v1.0
86b9f7c1
au
#13730 by Jakob Botsch Nielsen's avatar build coq:8.9

00:03:59

passed #100551
v1.0
86b9f7c1
au
#13730 by Jakob Botsch Nielsen's avatar build coq:8.8

00:03:33

passed #93326
master
86b9f7c1
au
#12858 by Jakob Botsch Nielsen's avatar build coq:dev

00:02:43