Skip to content

GitLab

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

00:06:07

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

00:06:00

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

00:06:24

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

00:15:51

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

00:05:56

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

00:15:01

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

00:14:51

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

00:16:07

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

00:15:53

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

00:17:21

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

00:17:00

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

00:06:11

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

00:05:50

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

00:06:13

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

00:05:27

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

00:06:28

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

00:05:42

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

00:12:22

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

00:11:35

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

00:15:11

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

00:14:12

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

00:06:08

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

00:05:45

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

00:13:50

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

00:12:26

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

00:18:01

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

00:12:00

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

00:12:34

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

00:11:48

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

00:18:21