Status Job Pipeline Stage Name Coverage
failed #17962
master
ebdaa70f
fp
#11786 by Ralf Jung's avatar build build-coq.8.6.1

16:07

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

15:53

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

17:21

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

17:00

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

06:11

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

05:50

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

06:13

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

05:27

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

06:28

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

05:42

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

12:22

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

11:35

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

15:11

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

14:12

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

06:08

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

05:45

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

13:50

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

12:26

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

18:01

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

12:00

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

12:34

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

11:48

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

18:21

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

17:40

passed #10570
ci/ralf/ci
a2230008
fp
#7900 by Ralf Jung's avatar build build-coq.8.6.1

23:10

passed #10569
ci/ralf/ci
a2230008
fp
#7900 by Ralf Jung's avatar build build-coq.8.7.2

21:49