Status Job Pipeline Stage Name Timing Coverage
passed #62035
master
3dc517e3
fp
#26037 by Ralf Jung's avatar build build-coq.8.10.1

00:13:06

passed #61973
master
0531db1a
fp
#26017 by iris-dev's avatar build build-iris.dev

00:20:25

passed #61816
master
0531db1a
fp
#25960 by iris-dev's avatar build build-iris.dev

00:22:25

passed #61543
master
0531db1a
fp
#25906 by iris-dev's avatar build build-iris.dev

00:20:23

passed #61048
master
0531db1a
fp
#25838 by iris-dev's avatar build build-iris.dev

00:18:58

passed #60889
master
0531db1a
fp
#25804 by iris-dev's avatar build build-iris.dev

00:18:24

passed #60786
master
0531db1a
fp
#25776 by iris-dev's avatar build build-iris.dev

00:18:38

passed #60736
master
0531db1a
fp
#25753 by iris-dev's avatar build build-iris.dev

00:20:34

passed #60480
master
0531db1a
fp
#25690 by iris-dev's avatar build build-iris.dev

00:19:59

passed #60291
master
0531db1a
fp
#25649 by iris-dev's avatar build build-iris.dev

00:19:57

passed #60052
master
0531db1a
fp
#25599 by iris-dev's avatar build build-iris.dev

00:21:13

passed #59941
master
0531db1a
fp
#25559 by iris-dev's avatar build build-iris.dev

00:20:26

passed #59824
master
0531db1a
fp
#25521 by iris-dev's avatar build build-iris.dev

00:20:34

passed #59788
master
0531db1a
fp
#25506 by iris-dev's avatar build build-iris.dev

00:20:21

passed #59737
master
0531db1a
fp
#25483 by iris-dev's avatar build build-iris.dev

00:20:56

passed #59647
master
0531db1a
fp
#25440 by iris-dev's avatar build build-iris.dev

00:20:06

passed #59586
master
0531db1a
fp
#25411 by iris-dev's avatar build build-iris.dev

00:20:03

passed #59428
master
0531db1a
fp
#25364 by Ralf Jung's avatar build build-iris.dev

00:21:49

passed #59402
master
0531db1a
fp
#25346 by Ralf Jung's avatar build build-iris.dev

00:21:31

failed #59345
master
0531db1a
fp
#25317 by iris-dev's avatar build build-iris.dev

00:13:24

passed #59256
master
0531db1a
fp
#25280 by iris-dev's avatar build build-iris.dev

00:20:53

passed #59222
master
0531db1a
fp
#25257 by Robbert's avatar build build-coq.8.10.1

00:12:17

passed #59178
master
bdc7e7e0
fp
#25237 by iris-dev's avatar build build-iris.dev

00:20:46

passed #59140
master
bdc7e7e0
fp
#25220 by iris-dev's avatar build build-iris.dev

00:21:47

passed #59096
master
bdc7e7e0
fp
#25198 by iris-dev's avatar build build-iris.dev

00:20:40

passed #59048
master
bdc7e7e0
fp
#25185 by Robbert's avatar build build-coq.8.10.1

00:06:58

passed #59046
master
04bb9e5e
fp
#25183 by Robbert's avatar build build-coq.8.10.1

00:07:25

passed #58919
master
d2d9b84c
fp
#25131 by iris-dev's avatar build build-iris.dev

00:20:13

passed #58836
master
d2d9b84c
fp
#25107 by Ralf Jung's avatar build build-coq.8.10.1

00:12:10

passed #58801
master
a0b010c5
fp
#25093 by iris-dev's avatar build build-iris.dev

00:20:06