Status Job Pipeline Stage Name Timing Coverage
passed #124095
master
69ba36c4
fp
#45396 by iris-dev's avatar build build-iris.dev

00:16:30

passed #123969
master
69ba36c4
fp
#45335 by iris-dev's avatar build build-iris.dev

00:17:00

passed #123941
master
69ba36c4
fp
#45315 by Robbert Krebbers's avatar build build-coq.8.12.0

00:13:56

passed #123804
master
5ee73302
fp
#45262 by iris-dev's avatar build build-iris.dev

00:17:39

passed #123585
master
5ee73302
fp
#45182 by iris-dev's avatar build build-iris.dev

00:16:12

passed #123530
master
5ee73302
fp
#45155 by iris-dev's avatar build build-iris.dev

00:16:18

passed #123486
master
5ee73302
fp
#45133 by iris-dev's avatar build build-iris.dev

00:16:20

passed #123339
master
5ee73302
fp
#45074 by iris-dev's avatar build build-iris.dev

00:16:34

passed #123182
master
5ee73302
fp
#45001 by iris-dev's avatar build build-iris.dev

00:15:57

passed #123024
master
5ee73302
fp
#44943 by iris-dev's avatar build build-iris.dev

00:16:16

passed #122839
master
5ee73302
fp
#44881 by iris-dev's avatar build build-iris.dev

00:15:53

passed #122587
master
5ee73302
fp
#44804 by iris-dev's avatar build build-iris.dev

00:17:28

passed #122521
master
5ee73302
fp
#44770 by iris-dev's avatar build build-iris.dev

00:16:16

passed #122471
master
5ee73302
fp
#44748 by iris-dev's avatar build build-iris.dev

00:16:12

passed #122355
master
5ee73302
fp
#44692 by iris-dev's avatar build build-iris.dev

00:17:48

passed #122262
master
5ee73302
fp
#44649 by iris-dev's avatar build build-iris.dev

00:16:13

passed #122042
master
5ee73302
fp
#44598 by iris-dev's avatar build build-iris.dev

00:16:11

passed #121881
master
5ee73302
fp
#44555 by iris-dev's avatar build build-iris.dev

00:15:16

passed #121758
master
5ee73302
fp
#44507 by iris-dev's avatar build build-iris.dev

00:15:16

passed #121701
master
5ee73302
fp
#44477 by iris-dev's avatar build build-iris.dev

00:15:18

passed #121645
master
5ee73302
fp
#44450 by iris-dev's avatar build build-iris.dev

00:15:21

passed #121535
master
5ee73302
fp
#44410 by iris-dev's avatar build build-iris.dev

00:15:16

passed #121454
master
5ee73302
fp
#44362 by iris-dev's avatar build build-iris.dev

00:15:10

passed #121373
master
5ee73302
fp
#44321 by iris-dev's avatar build build-iris.dev

00:15:47

passed #121283
master
5ee73302
fp
#44277 by iris-dev's avatar build build-iris.dev

00:15:32

passed #121209
master
5ee73302
fp
#44242 by iris-dev's avatar build build-iris.dev

00:16:20

passed #121156
master
5ee73302
fp
#44219 by iris-dev's avatar build build-iris.dev

00:17:25

passed #121090
master
5ee73302
fp
#44189 by iris-dev's avatar build build-iris.dev

00:16:25

passed #121075
master
5ee73302
fp
#44179 by Jonas Kastberg's avatar build build-coq.8.12.0

00:07:16

passed #120979
master
550633bf
fp
#44132 by iris-dev's avatar build build-iris.dev

00:16:25