Status Name Job Pipeline Stage Duration Coverage
passed coq:8.8 #101088
master
65b99ce6
au
#13808 by Jakob Botsch Nielsen's avatar build

00:03:45

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

00:03:41

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

00:03:46

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

00:03:45

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

00:03:42

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

00:03:59

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

00:03:33

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

00:02:43

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

00:02:48

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

00:02:53

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

00:02:46

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

00:02:51

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

00:02:53

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

00:02:45

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

00:02:53

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

00:03:00

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

00:02:41

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

00:02:46

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

00:02:48

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

00:02:42

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

00:02:50

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

00:02:51

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

00:03:50

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

00:03:10

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

00:03:16

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

00:03:39

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

00:02:56

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

00:02:59

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

00:02:37

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

00:02:43