Status Job Pipeline Stage Name Timing Coverage
passed #47554
master
eb4ea7d9
fp
#21254 by iris-dev's avatar build build-iris.dev

00:15:02

passed #47425
master
eb4ea7d9
fp
#21225 by iris-dev's avatar build build-iris.dev

00:15:12

passed #47343
master
eb4ea7d9
fp
#21206 by iris-dev's avatar build build-iris.dev

00:15:06

passed #47253
master
eb4ea7d9
fp
#21179 by iris-dev's avatar build build-iris.dev

00:15:19

passed #47171
master
eb4ea7d9
fp
#21152 by Ralf Jung's avatar build build-coq.8.8.2

00:02:34

passed #47170
master
eb4ea7d9
fp
#21152 by Ralf Jung's avatar build build-coq.8.9.1

00:03:12

passed #47169
master
eb4ea7d9
fp
#21152 by Ralf Jung's avatar build build-coq.8.10.1

00:03:23

passed #47137
master
e89b6439
fp
#21140 by iris-dev's avatar build build-iris.dev

00:15:04

passed #47079
master
e89b6439
fp
#21120 by iris-dev's avatar build build-iris.dev

00:15:00

passed #47016
master
e89b6439
fp
#21099 by iris-dev's avatar build build-iris.dev

00:14:28

passed #46953
master
e89b6439
fp
#21069 by iris-dev's avatar build build-iris.dev

00:14:58

passed #46878
master
e89b6439
fp
#21040 by iris-dev's avatar build build-iris.dev

00:14:37

passed #46802
master
e89b6439
fp
#21004 by Ralf Jung's avatar build build-iris.dev

00:15:55

passed #46770
master
e89b6439
fp
#20991 by Ralf Jung's avatar build build-coq.8.8.2

00:15:42

passed #46769
master
e89b6439
fp
#20991 by Ralf Jung's avatar build build-coq.8.9.1

00:15:35

passed #46768
master
e89b6439
fp
#20991 by Ralf Jung's avatar build build-coq.8.10.1

00:15:47

passed #46581
master
62b4f945
fp
#20933 by iris-dev's avatar build build-iris.dev

00:14:22

passed #46430
master
62b4f945
fp
#20897 by iris-dev's avatar build build-iris.dev

00:14:30

passed #46353
master
62b4f945
fp
#20873 by iris-dev's avatar build build-iris.dev

00:15:04

passed #46309
master
62b4f945
fp
#20855 by iris-dev's avatar build build-iris.dev

00:14:50

passed #46265
master
62b4f945
fp
#20835 by iris-dev's avatar build build-iris.dev

00:14:22

passed #46186
master
62b4f945
fp
#20805 by iris-dev's avatar build build-iris.dev

00:14:25

passed #46070
master
62b4f945
fp
#20769 by Ralf Jung's avatar build build-iris.dev

00:13:37

passed #46068
master
62b4f945
fp
#20767 by Ralf Jung's avatar build build-coq.8.7.2

00:20:11

passed #46067
master
62b4f945
fp
#20767 by Ralf Jung's avatar build build-coq.8.8.2

00:20:13

passed #46066
master
62b4f945
fp
#20767 by Ralf Jung's avatar build build-coq.8.9.0

00:20:32

passed #46019
master
f410e4e7
fp
#20745 by iris-dev's avatar build build-iris.dev

00:09:05

passed #45774
master
f410e4e7
fp
#20679 by iris-dev's avatar build build-iris.dev

00:02:54

passed #45616
master
f410e4e7
fp
#20653 by iris-dev's avatar build build-iris.dev

00:03:01

passed #45443
master
f410e4e7
fp
#20627 by iris-dev's avatar build build-iris.dev

00:12:56