Status Job Pipeline Stage Name Timing Coverage
passed #53612
master
92275f5b
fp
#23091 by iris-dev's avatar build build-iris.dev

00:23:24

passed #53382
master
92275f5b
fp
#23040 by iris-dev's avatar build build-iris.dev

00:22:31

passed #53293
master
92275f5b
fp
#23008 by iris-dev's avatar build build-iris.dev

00:22:20

passed #53244
master
92275f5b
fp
#22992 by iris-dev's avatar build build-iris.dev

00:23:06

passed #53151
master
92275f5b
fp
#22958 by iris-dev's avatar build build-iris.dev

00:22:44

passed #52998
master
92275f5b
fp
#22917 by iris-dev's avatar build build-iris.dev

00:23:02

passed #52901
master
92275f5b
fp
#22885 by iris-dev's avatar build build-iris.dev

00:23:17

passed #52830
master
92275f5b
fp
#22855 by iris-dev's avatar build build-iris.dev

00:22:51

passed #52812
ci/amin/logrel-existential
5f900155
fp-timing
#22843 by Amin Timany's avatar build build-coq.8.10.1

00:06:55

passed #52766
master
92275f5b
fp
#22825 by iris-dev's avatar build build-iris.dev

00:22:41

passed #52752
master
92275f5b
fp-timing
#22811 by Ralf Jung's avatar build build-coq.8.10.1

00:06:38

passed #52674
ci/amin/logrel-existential
65cd332b
fp-timing
#22785 by Amin Timany's avatar build build-coq.8.10.1

00:06:54

passed #52673
master
b73553f9
fp-timing
#22784 by Robbert's avatar build build-coq.8.10.1

00:14:56

passed #52642
master
e5b6840b
fp
#22773 by iris-dev's avatar build build-iris.dev

00:21:11

passed #52607
master
e5b6840b
fp
#22758 by iris-dev's avatar build build-iris.dev

00:21:49

passed #52563
master
e5b6840b
fp
#22740 by iris-dev's avatar build build-iris.dev

00:21:51

passed #52471
master
e5b6840b
fp
#22701 by iris-dev's avatar build build-iris.dev

00:21:10

passed #52350
master
e5b6840b
fp
#22643 by iris-dev's avatar build build-iris.dev

00:21:08

passed #52279
master
e5b6840b
fp
#22609 by iris-dev's avatar build build-iris.dev

00:21:08

passed #52232
master
e5b6840b
fp
#22585 by iris-dev's avatar build build-iris.dev

00:21:04

passed #52187
master
e5b6840b
fp
#22565 by iris-dev's avatar build build-iris.dev

00:21:52

passed #52142
master
e5b6840b
fp
#22547 by iris-dev's avatar build build-iris.dev

00:21:41

passed #52099
master
e5b6840b
fp
#22529 by iris-dev's avatar build build-iris.dev

00:21:44

passed #52064
master
e5b6840b
fp
#22515 by iris-dev's avatar build build-iris.dev

00:21:42

passed #52028
master
e5b6840b
fp
#22500 by iris-dev's avatar build build-iris.dev

00:21:48

passed #51995
master
e5b6840b
fp
#22487 by iris-dev's avatar build build-iris.dev

00:21:43

passed #51962
master
e5b6840b
fp
#22474 by iris-dev's avatar build build-iris.dev

00:21:47

passed #51928
master
e5b6840b
fp
#22460 by iris-dev's avatar build build-iris.dev

00:21:40

passed #51883
master
e5b6840b
fp
#22444 by iris-dev's avatar build build-iris.dev

00:21:30

passed #51848
master
e5b6840b
fp
#22430 by iris-dev's avatar build build-iris.dev

00:21:37