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

00:04:25

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

00:03:57

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

00:03:57

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

00:03:53

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

00:04:18

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

00:03:52

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

00:03:07

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

00:03:37

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