Status Job Pipeline Stage Name Timing Coverage
passed #78523
master
ca27a19d
fp
#30954 by iris-dev's avatar build build-iris.dev

00:19:33

passed #78136
master
ca27a19d
fp
#30787 by iris-dev's avatar build build-iris.dev

00:18:10

passed #77592
master
ca27a19d
fp
#30661 by iris-dev's avatar build build-iris.dev

00:18:31

passed #77355
master
ca27a19d
fp
#30572 by iris-dev's avatar build build-iris.dev

00:18:18

passed #77293
master
ca27a19d
fp
#30545 by iris-dev's avatar build build-iris.dev

00:18:16

passed #77187
master
ca27a19d
fp
#30497 by iris-dev's avatar build build-iris.dev

00:20:06

passed #77042
master
ca27a19d
fp
#30432 by iris-dev's avatar build build-iris.dev

00:18:32

passed #76858
master
ca27a19d
fp
#30329 by iris-dev's avatar build build-iris.dev

00:18:49

passed #76718
master
ca27a19d
fp
#30255 by iris-dev's avatar build build-iris.dev

00:17:31

passed #76559
master
ca27a19d
fp
#30193 by iris-dev's avatar build build-iris.dev

00:18:06

passed #76449
master
ca27a19d
fp
#30144 by iris-dev's avatar build build-iris.dev

00:17:03

passed #76372
master
ca27a19d
fp
#30111 by iris-dev's avatar build build-iris.dev

00:17:18

passed #76315
master
ca27a19d
fp
#30087 by iris-dev's avatar build build-iris.dev

00:16:53

passed #76146
master
ca27a19d
fp
#30039 by iris-dev's avatar build build-iris.dev

00:17:33

passed #75941
master
ca27a19d
fp
#29976 by iris-dev's avatar build build-iris.dev

00:17:38

passed #75799
master
ca27a19d
fp
#29932 by iris-dev's avatar build build-iris.dev

00:17:08

passed #75556
master
ca27a19d
fp
#29873 by iris-dev's avatar build build-iris.dev

00:17:45

passed #75433
master
ca27a19d
fp
#29823 by iris-dev's avatar build build-iris.dev

00:17:34

passed #75367
master
ca27a19d
fp
#29791 by iris-dev's avatar build build-iris.dev

00:17:32

passed #75299
master
ca27a19d
fp
#29767 by iris-dev's avatar build build-iris.dev

00:17:24

passed #75212
master
ca27a19d
fp
#29724 by Robbert's avatar build build-coq.8.10.1

00:09:24

passed #75211
master
ca27a19d
fp
#29724 by Robbert's avatar build build-coq.8.11.0

00:09:13

passed #75203
master
76ff57e9
fp
#29717 by Ralf Jung's avatar build build-coq.8.10.1

00:03:49

passed #75202
master
76ff57e9
fp
#29717 by Ralf Jung's avatar build build-coq.8.11.0

00:04:02

failed #75066
master
af175ba7
fp
#29685 by iris-dev's avatar build build-iris.dev

00:15:39

passed #74951
master
af175ba7
fp
#29630 by iris-dev's avatar build build-iris.dev

00:17:32

passed #74799
master
af175ba7
fp
#29571 by iris-dev's avatar build build-iris.dev

00:17:33

passed #74707
master
af175ba7
fp
#29526 by iris-dev's avatar build build-iris.dev

00:17:17

passed #74439
master
af175ba7
fp
#29471 by iris-dev's avatar build build-iris.dev

00:18:07

passed #74355
master
af175ba7
fp
#29444 by iris-dev's avatar build build-iris.dev

00:18:49