Status Job Pipeline Stage Name Timing Coverage
passed #63719
master
0b57bd50
fp
#26347 by iris-dev's avatar build build-iris.dev

00:17:37

passed #63358
master
0b57bd50
fp
#26252 by iris-dev's avatar build build-iris.dev

00:17:31

passed #63099
master
0b57bd50
fp
#26212 by Jonas Kastberg's avatar build build-coq.8.10.1

00:05:43

passed #63004
master
645ece6d
fp
#26197 by Jonas Kastberg's avatar build build-coq.8.10.1

00:05:41

passed #62781
master
8e90f022
fp
#26176 by iris-dev's avatar build build-iris.dev

00:19:09

passed #62376
master
8e90f022
fp
#26129 by iris-dev's avatar build build-iris.dev

00:18:59

passed #62286
master
8e90f022
fp
#26100 by Robbert's avatar build build-coq.8.10.1

00:11:38

failed #62235
master
32a6cf2d
fp
#26082 by iris-dev's avatar build build-iris.dev

00:14:47

passed #61980
master
32a6cf2d
fp
#26024 by iris-dev's avatar build build-iris.dev

00:16:44

passed #61909
master
32a6cf2d
fp
#26004 by Robbert's avatar build build-coq.8.10.1

00:09:57

failed #61905
master
c8c4744d
fp
#26002 by Robbert's avatar build build-coq.8.10.1

00:05:52

passed #61823
master
7475d667
fp
#25967 by iris-dev's avatar build build-iris.dev

00:17:33

passed #61813
master
7475d667
fp
#25957 by Robbert's avatar build build-coq.8.10.1

00:11:23

canceled #61812
master
5cb675da
fp
#25956 by Robbert's avatar build build-coq.8.10.1

00:01:15

passed #61550
master
36f40743
fp
#25913 by iris-dev's avatar build build-iris.dev

00:16:59

passed #61055
master
36f40743
fp
#25845 by iris-dev's avatar build build-iris.dev

00:16:00

passed #60896
master
36f40743
fp
#25811 by iris-dev's avatar build build-iris.dev

00:16:08

passed #60793
master
36f40743
fp
#25783 by iris-dev's avatar build build-iris.dev

00:15:39

passed #60743
master
36f40743
fp
#25760 by iris-dev's avatar build build-iris.dev

00:17:19

passed #60625
master
36f40743
fp
#25714 by Jonas Kastberg's avatar build build-coq.8.10.1

00:05:30

passed #60487
master
48f38558
fp
#25697 by iris-dev's avatar build build-iris.dev

00:18:11

passed #60443
master
48f38558
fp
#25685 by Robbert's avatar build build-coq.8.10.1

00:05:32

passed #60298
master
d6f19e41
fp
#25656 by iris-dev's avatar build build-iris.dev

00:16:50

passed #60281
master
d6f19e41
fp
#25643 by Robbert's avatar build build-coq.8.10.1

00:05:30

failed #60265
master
12dc9a35
fp
#25635 by Robbert's avatar build build-coq.8.10.1

00:00:09

failed #60264
master
31806a14
fp
#25634 by Robbert's avatar build build-coq.8.10.1

00:00:09

passed #60059
master
0010b710
fp
#25606 by iris-dev's avatar build build-iris.dev

00:19:41

passed #60012
master
0010b710
fp
#25580 by Robbert's avatar build build-coq.8.10.1

00:05:26

passed #59948
master
8a13d685
fp
#25566 by iris-dev's avatar build build-iris.dev

00:17:51

passed #59831
master
8a13d685
fp
#25528 by iris-dev's avatar build build-iris.dev

00:19:09