Status Job Pipeline Stage Name Timing Coverage
passed #49604
master
0b438db2
fp
#21843 by iris-dev's avatar build build-iris.dev

00:19:48

passed #49556
master
0b438db2
fp
#21821 by iris-dev's avatar build build-iris.dev

00:19:49

passed #49466
master
0b438db2
fp
#21791 by iris-dev's avatar build build-iris.dev

00:19:50

passed #49344
master
0b438db2
fp
#21759 by iris-dev's avatar build build-iris.dev

00:19:37

passed #49158
master
0b438db2
fp
#21724 by iris-dev's avatar build build-iris.dev

00:19:30

passed #49119
master
0b438db2
fp
#21708 by iris-dev's avatar build build-iris.dev

00:19:28

passed #49084
master
0b438db2
fp
#21694 by iris-dev's avatar build build-iris.dev

00:19:41

passed #49008
master
0b438db2
fp
#21662 by iris-dev's avatar build build-iris.dev

00:19:19

passed #48853
master
0b438db2
fp
#21637 by iris-dev's avatar build build-iris.dev

00:19:14

passed #48817
master
0b438db2
fp
#21622 by iris-dev's avatar build build-iris.dev

00:19:23

passed #48750
master
0b438db2
fp
#21597 by iris-dev's avatar build build-iris.dev

00:19:36

passed #48612
master
0b438db2
fp
#21567 by iris-dev's avatar build build-iris.dev

00:19:26

passed #48574
master
0b438db2
fp
#21551 by iris-dev's avatar build build-iris.dev

00:19:22

passed #48533
master
0b438db2
fp
#21537 by iris-dev's avatar build build-iris.dev

00:19:24

passed #48252
master
0b438db2
fp
#21464 by iris-dev's avatar build build-iris.dev

00:24:26

passed #48232
master
0b438db2
fp
#21454 by Robbert's avatar build build-coq.8.10.1

00:24:34

failed #48117
master
aa3aca77
fp
#21407 by iris-dev's avatar build build-iris.dev

00:15:13

failed #48113
master
aa3aca77
fp
#21403 by Robbert's avatar build build-coq.8.10.1

00:01:15

passed #48008
master
83d062d7
fp
#21366 by iris-dev's avatar build build-iris.dev

00:20:21

passed #47836
master
83d062d7
fp
#21333 by iris-dev's avatar build build-iris.dev

00:20:17

passed #47674
master
83d062d7
fp
#21300 by iris-dev's avatar build build-iris.dev

00:20:29

passed #47628
master
83d062d7
fp
#21286 by Ralf Jung's avatar build build-coq.8.10.1

00:06:32

passed #47591
master
dfa85a01
fp
#21271 by iris-dev's avatar build build-iris.dev

00:19:56

passed #47555
master
dfa85a01
fp
#21255 by iris-dev's avatar build build-iris.dev

00:20:10

passed #47426
master
dfa85a01
fp
#21226 by iris-dev's avatar build build-iris.dev

00:20:12

passed #47344
master
dfa85a01
fp
#21207 by iris-dev's avatar build build-iris.dev

00:19:51

passed #47254
master
dfa85a01
fp
#21180 by iris-dev's avatar build build-iris.dev

00:20:17

passed #47138
master
dfa85a01
fp
#21141 by iris-dev's avatar build build-iris.dev

00:19:54

passed #47080
master
dfa85a01
fp
#21121 by iris-dev's avatar build build-iris.dev

00:19:47

passed #47017
master
dfa85a01
fp
#21100 by iris-dev's avatar build build-iris.dev

00:19:25