Status Job Pipeline Stage Name Timing Coverage
passed #78998
master
c89c536d
fp
#31160 by iris-dev's avatar build build-iris.dev

00:23:20

passed #78524
master
c89c536d
fp
#30955 by iris-dev's avatar build build-iris.dev

00:23:42

passed #78139
master
c89c536d
fp
#30790 by iris-dev's avatar build build-iris.dev

00:22:25

passed #77594
master
c89c536d
fp
#30662 by iris-dev's avatar build build-iris.dev

00:22:19

passed #77357
master
c89c536d
fp
#30573 by iris-dev's avatar build build-iris.dev

00:22:12

passed #77294
master
c89c536d
fp
#30546 by iris-dev's avatar build build-iris.dev

00:22:09

passed #77188
master
c89c536d
fp
#30498 by iris-dev's avatar build build-iris.dev

00:24:03

passed #77043
master
c89c536d
fp
#30433 by iris-dev's avatar build build-iris.dev

00:22:14

passed #76859
master
c89c536d
fp
#30331 by iris-dev's avatar build build-iris.dev

00:22:31

passed #76719
master
c89c536d
fp
#30256 by iris-dev's avatar build build-iris.dev

00:20:58

passed #76560
master
c89c536d
fp
#30194 by iris-dev's avatar build build-iris.dev

00:22:02

passed #76450
master
c89c536d
fp
#30145 by iris-dev's avatar build build-iris.dev

00:20:46

passed #76373
master
c89c536d
fp
#30112 by iris-dev's avatar build build-iris.dev

00:21:06

passed #76316
master
c89c536d
fp
#30088 by iris-dev's avatar build build-iris.dev

00:20:46

passed #76147
master
c89c536d
fp
#30040 by iris-dev's avatar build build-iris.dev

00:21:14

passed #75943
master
c89c536d
fp
#29978 by iris-dev's avatar build build-iris.dev

00:21:18

passed #75800
master
c89c536d
fp
#29933 by iris-dev's avatar build build-iris.dev

00:20:48

passed #75557
master
c89c536d
fp
#29875 by iris-dev's avatar build build-iris.dev

00:21:30

passed #75435
master
c89c536d
fp
#29825 by iris-dev's avatar build build-iris.dev

00:21:16

passed #75366
master
c89c536d
fp
#29790 by iris-dev's avatar build build-iris.dev

00:21:36

passed #75301
master
c89c536d
fp
#29769 by iris-dev's avatar build build-iris.dev

00:20:56

passed #75204
master
c89c536d
fp
#29718 by Robbert's avatar build build-coq.8.10.1

00:12:33

failed #75067
master
e1008b2f
fp
#29684 by iris-dev's avatar build build-iris.dev

00:19:50

passed #74952
master
e1008b2f
fp
#29632 by iris-dev's avatar build build-iris.dev

00:21:32

passed #74800
master
e1008b2f
fp
#29572 by iris-dev's avatar build build-iris.dev

00:21:18

passed #74709
master
e1008b2f
fp
#29528 by iris-dev's avatar build build-iris.dev

00:21:17

passed #74440
master
e1008b2f
fp
#29473 by iris-dev's avatar build build-iris.dev

00:21:51

passed #74356
master
e1008b2f
fp
#29445 by iris-dev's avatar build build-iris.dev

00:22:47

passed #74286
master
e1008b2f
fp
#29416 by iris-dev's avatar build build-iris.dev

00:23:18

passed #74137
master
e1008b2f
fp
#29360 by iris-dev's avatar build build-iris.dev

00:22:55