Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.7.2 #27386
master
0a49ea58
fp
#15591 by Dan Frumin's avatar build

00:06:07

passed build-coq.8.7.2 #24766
master
12ffa3dc
fp
#14896 by Ralf Jung's avatar build

00:06:00

passed build-coq.8.7.2 #23165
master
c551b679
fp
#14322 by Ralf Jung's avatar build

00:06:24

passed build-coq.8.7.2 #21394
master
5b557938
fp
#13482 by Ralf Jung's avatar build

00:15:51

passed build-coq.8.7.2 #19981
master
91b1899b
fp
#12755 by Ralf Jung's avatar build

00:05:56

failed build-coq.8.6.1 #19965
master
e0c66e81
fp
#12745 by Ralf Jung's avatar build

00:15:01

passed build-coq.8.7.2 #19964
master
e0c66e81
fp
#12745 by Ralf Jung's avatar build

00:14:51

failed build-coq.8.6.1 #17962
master
ebdaa70f
fp
#11786 by Ralf Jung's avatar build

00:16:07

passed build-coq.8.7.2 #17961
master
ebdaa70f
fp
#11786 by Ralf Jung's avatar build

00:15:53

failed build-coq.8.6.1 #17856
master
9d1f3c3c
fp
#11751 by Ralf Jung's avatar build

00:17:21

passed build-coq.8.7.2 #17855
master
9d1f3c3c
fp
#11751 by Ralf Jung's avatar build

00:17:00

failed build-coq.8.6.1 #13442
master
bc89b4bd
fp
#9446 by Dan Frumin's avatar build

00:06:11

passed build-coq.8.7.2 #13441
master
bc89b4bd
fp
#9446 by Dan Frumin's avatar build

00:05:50

failed build-coq.8.6.1 #13440
master
479f4050
fp
#9445 by Dan Frumin's avatar build

00:06:13

failed build-coq.8.7.2 #13439
master
479f4050
fp
#9445 by Dan Frumin's avatar build

00:05:27

passed build-coq.8.6.1 #12068
master
bb7c8731
fp
#8690 by Dan Frumin's avatar build

00:06:28

passed build-coq.8.7.2 #12067
master
bb7c8731
fp
#8690 by Dan Frumin's avatar build

00:05:42

passed build-coq.8.6.1 #11963
master
52f32aaa
fp
#8641 by Ralf Jung's avatar build

00:12:22

passed build-coq.8.7.2 #11962
master
52f32aaa
fp
#8641 by Ralf Jung's avatar build

00:11:35

passed build-coq.8.6.1 #11488
master
629187f1
fp
#8371 by Dan Frumin's avatar build

00:15:11

passed build-coq.8.7.2 #11487
master
629187f1
fp
#8371 by Dan Frumin's avatar build

00:14:12

passed build-coq.8.6.1 #11222
master
a16818ea
fp
#8229 by Ralf Jung's avatar build

00:06:08

passed build-coq.8.7.2 #11221
master
a16818ea
fp
#8229 by Ralf Jung's avatar build

00:05:45

passed build-coq.8.6.1 #11079
master
3792938d
fp
#8165 by Dan Frumin's avatar build

00:13:50

passed build-coq.8.7.2 #11078
master
3792938d
fp
#8165 by Dan Frumin's avatar build

00:12:26

passed build-coq.8.6.1 #10853
master
d7ee190a
fp
#8055 by Ralf Jung's avatar build

00:18:01

passed build-coq.8.7.2 #10852
master
d7ee190a
fp
#8055 by Ralf Jung's avatar build

00:12:00

passed build-coq.8.6.1 #10595
master
8340f5fe
fp
#7913 by Dan Frumin's avatar build

00:12:34

passed build-coq.8.7.2 #10594
master
8340f5fe
fp
#7913 by Dan Frumin's avatar build

00:11:48

passed build-coq.8.6.1 #10578
ci/ralf/ci
d4d2283a
fp
#7903 by Ralf Jung's avatar build

00:18:21