Status Job Pipeline Stage Name Timing Coverage
passed #123532
master
0c26e785
fp
#45157 by iris-dev's avatar build build-iris.dev

00:21:39

passed #123490
master
0c26e785
fp
#45137 by iris-dev's avatar build build-iris.dev

00:21:25

passed #123340
master
0c26e785
fp
#45076 by iris-dev's avatar build build-iris.dev

00:21:06

passed #123183
master
0c26e785
fp
#45002 by iris-dev's avatar build build-iris.dev

00:20:12

passed #123027
master
0c26e785
fp
#44946 by iris-dev's avatar build build-iris.dev

00:21:23

passed #122843
master
0c26e785
fp
#44885 by iris-dev's avatar build build-iris.dev

00:21:01

passed #122590
master
0c26e785
fp
#44807 by iris-dev's avatar build build-iris.dev

00:20:56

passed #122524
master
0c26e785
fp
#44773 by iris-dev's avatar build build-iris.dev

00:21:11

passed #122474
master
0c26e785
fp
#44750 by iris-dev's avatar build build-iris.dev

00:19:14

passed #122358
master
0c26e785
fp
#44696 by iris-dev's avatar build build-iris.dev

00:21:21

passed #122345
master
0c26e785
fp-timing
#44684 by Ralf Jung's avatar build build-coq.8.12.2

00:13:04

passed #122344
master
0c26e785
fp
#44684 by Ralf Jung's avatar build build-coq.8.13.1

00:13:37

passed #122343
master
0c26e785
fp
#44684 by Ralf Jung's avatar build build-coq.dev

00:16:53

passed #122264
master
a1fe0e02
fp
#44651 by iris-dev's avatar build build-iris.dev

00:21:25

passed #122046
master
a1fe0e02
fp
#44602 by iris-dev's avatar build build-iris.dev

00:21:17

passed #121884
master
a1fe0e02
fp
#44558 by iris-dev's avatar build build-iris.dev

00:18:44

passed #121761
master
a1fe0e02
fp
#44510 by iris-dev's avatar build build-iris.dev

00:20:28

passed #121703
master
a1fe0e02
fp
#44480 by iris-dev's avatar build build-iris.dev

00:20:39

passed #121647
master
a1fe0e02
fp
#44451 by iris-dev's avatar build build-iris.dev

00:20:49

passed #121537
master
a1fe0e02
fp
#44412 by iris-dev's avatar build build-iris.dev

00:20:08

passed #121456
master
a1fe0e02
fp
#44364 by iris-dev's avatar build build-iris.dev

00:20:54

passed #121443
master
a1fe0e02
fp-timing
#44351 by Ralf Jung's avatar build build-coq.8.12.2

00:07:36

passed #121442
master
a1fe0e02
fp
#44351 by Ralf Jung's avatar build build-coq.8.13.1

00:08:26

passed #121441
master
a1fe0e02
fp
#44351 by Ralf Jung's avatar build build-coq.dev

00:17:08

passed #121377
master
90f367ed
fp
#44324 by iris-dev's avatar build build-iris.dev

00:21:04

passed #121286
master
90f367ed
fp
#44279 by iris-dev's avatar build build-iris.dev

00:20:50

passed #121211
master
90f367ed
fp
#44244 by iris-dev's avatar build build-iris.dev

00:21:22

passed #121158
master
90f367ed
fp
#44222 by iris-dev's avatar build build-iris.dev

00:21:22

passed #121093
master
90f367ed
fp
#44193 by iris-dev's avatar build build-iris.dev

00:21:23

passed #120982
master
90f367ed
fp
#44135 by iris-dev's avatar build build-iris.dev

00:21:30