Status Job Pipeline Stage Name Timing Coverage
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

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

00:02:48

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

00:02:53

passed #93323
master
f28b0d60
au
#12857 by Jakob Botsch Nielsen's avatar build coq:dev

00:02:46

passed #93322
master
f28b0d60
au
#12857 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:51

passed #93321
master
f28b0d60
au
#12857 by Jakob Botsch Nielsen's avatar build coq:8.8

00:02:53

passed #93320
master
795517a7
au
#12856 by Jakob Botsch Nielsen's avatar build coq:dev

00:02:45

passed #93319
master
795517a7
au
#12856 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:53

passed #93318
master
795517a7
au
#12856 by Jakob Botsch Nielsen's avatar build coq:8.8

00:03:00

passed #93271
master
923afd45
au
#12851 by Jakob Botsch Nielsen's avatar build coq:dev

00:02:41

passed #93270
master
923afd45
au
#12851 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:46

passed #93269
master
923afd45
au
#12851 by Jakob Botsch Nielsen's avatar build coq:8.8

00:02:48

passed #93267
master
b90d97fe
au
#12849 by Jakob Botsch Nielsen's avatar build coq:dev

00:02:42

passed #93266
master
b90d97fe
au
#12849 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:50

passed #93265
master
b90d97fe
au
#12849 by Jakob Botsch Nielsen's avatar build coq:8.8

00:02:51

passed #93263
master
cabb1735
au
#12847 by Jakob Botsch Nielsen's avatar build coq:dev

00:03:50

passed #93262
master
cabb1735
au
#12847 by Jakob Botsch Nielsen's avatar build coq:8.9

00:03:10

passed #93261
master
cabb1735
au
#12847 by Jakob Botsch Nielsen's avatar build coq:8.8

00:03:16

passed #93260
master
e5f9c2b6
au
#12846 by Jakob Botsch Nielsen's avatar build coq:dev

00:03:39

passed #93259
master
e5f9c2b6
au
#12846 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:56

passed #93258
master
e5f9c2b6
au
#12846 by Jakob Botsch Nielsen's avatar build coq:8.8

00:02:59

passed #93120
master
f4bc2be8
au
#12837 by Jakob Botsch Nielsen's avatar build coq:dev

00:02:37

passed #93119
master
f4bc2be8
au
#12837 by Jakob Botsch Nielsen's avatar build coq:8.9

00:02:43