Status Job Pipeline Stage Name Timing Coverage
passed #79308
master
53c7fde4
fp
#31306 by iris-dev's avatar build build-iris.dev

00:21:57

passed #79285
master
53c7fde4
fp-timing
#31292 by Ralf Jung's avatar build build-coq.8.11.2

00:06:49

passed #79246
master
4de135d9
fp
#31280 by iris-dev's avatar build build-iris.dev

00:23:05

passed #79001
master
4de135d9
fp
#31163 by iris-dev's avatar build build-iris.dev

00:25:56

passed #78527
master
4de135d9
fp
#30958 by iris-dev's avatar build build-iris.dev

00:25:16

passed #78429
master
4de135d9
fp-timing
#30924 by Ralf Jung's avatar build build-coq.8.11.2

00:06:47

passed #78141
master
06827859
fp
#30792 by iris-dev's avatar build build-iris.dev

00:25:51

passed #77598
master
06827859
fp
#30665 by iris-dev's avatar build build-iris.dev

00:25:01

passed #77360
master
06827859
fp
#30576 by iris-dev's avatar build build-iris.dev

00:25:15

passed #77297
master
06827859
fp
#30549 by iris-dev's avatar build build-iris.dev

00:26:23

passed #77191
master
06827859
fp
#30501 by iris-dev's avatar build build-iris.dev

00:26:25

passed #77046
master
06827859
fp
#30436 by iris-dev's avatar build build-iris.dev

00:25:18

passed #76864
master
06827859
fp
#30335 by iris-dev's avatar build build-iris.dev

00:24:39

passed #76721
master
06827859
fp
#30258 by iris-dev's avatar build build-iris.dev

00:21:54

passed #76629
master
06827859
fp-timing
#30217 by Ralf Jung's avatar build build-coq.8.11.2

00:06:53

passed #76628
master
77ea6399
fp-timing
#30216 by Ralf Jung's avatar build build-coq.8.11.2

00:06:47

passed #76563
master
a966fe18
fp
#30196 by iris-dev's avatar build build-iris.dev

00:24:03

passed #76453
master
a966fe18
fp
#30148 by iris-dev's avatar build build-iris.dev

00:23:03

passed #76375
master
a966fe18
fp
#30115 by iris-dev's avatar build build-iris.dev

00:21:54

passed #76320
master
a966fe18
fp
#30092 by iris-dev's avatar build build-iris.dev

00:22:06

passed #76149
master
a966fe18
fp
#30042 by iris-dev's avatar build build-iris.dev

00:22:48

passed #75962
master
a966fe18
fp
#29981 by iris-dev's avatar build build-iris.dev

00:22:53

passed #75803
master
a966fe18
fp
#29936 by iris-dev's avatar build build-iris.dev

00:23:07

passed #75560
master
a966fe18
fp
#29878 by iris-dev's avatar build build-iris.dev

00:22:39

passed #75543
ci/amin/logrel-update
c8c015c7
fp-timing
#29863 by Amin Timany's avatar build build-coq.8.11.1

00:06:58

passed #75542
ci/amin/logrel-update
fcd6ddd3
fp-timing
#29862 by Amin Timany's avatar build build-coq.8.11.1

00:06:51

passed #75541
ci/amin/logrel-update
dd25c85a
fp-timing
#29861 by Amin Timany's avatar build build-coq.8.11.1

00:12:27

passed #75455
master
a966fe18
fp
#29829 by iris-dev's avatar build build-iris.dev

00:22:42

passed #75372
master
a966fe18
fp
#29795 by iris-dev's avatar build build-iris.dev

00:21:49

passed #75304
master
a966fe18
fp
#29772 by iris-dev's avatar build build-iris.dev

00:26:29