Status Name Job Pipeline Stage Duration Coverage
passed build-iris.dev #37284
master
b040f68f
fp
#18497 by iris-dev's avatar build

00:14:11

passed build-iris.dev #37205
master
b040f68f
fp
#18477 by iris-dev's avatar build

00:14:11

passed build-iris.dev #37143
master
b040f68f
fp
#18457 by iris-dev's avatar build

00:14:21

passed build-iris.dev #37073
master
b040f68f
fp
#18437 by iris-dev's avatar build

00:14:13

passed build-iris.dev #37012
master
b040f68f
fp
#18420 by iris-dev's avatar build

00:19:25

passed build-iris.dev #36960
master
b040f68f
fp
#18403 by iris-dev's avatar build

00:20:47

passed build-iris.dev #36854
master
b040f68f
fp
#18373 by iris-dev's avatar build

00:19:14

passed build-iris.dev #36749
master
b040f68f
fp
#18348 by iris-dev's avatar build

00:14:21

passed build-iris.dev #36693
master
b040f68f
fp
#18328 by iris-dev's avatar build

00:14:14

passed build-iris.dev #36587
master
b040f68f
fp
#18301 by iris-dev's avatar build

00:19:07

passed build-iris.dev #36521
master
b040f68f
fp
#18277 by iris-dev's avatar build

00:20:35

passed build-iris.dev #36425
master
b040f68f
fp
#18258 by iris-dev's avatar build

00:14:13

passed build-iris.dev #36390
master
b040f68f
fp
#18243 by iris-dev's avatar build

00:14:11

passed build-iris.dev #36359
master
b040f68f
fp
#18232 by iris-dev's avatar build

00:20:34

passed build-iris.dev #36205
master
b040f68f
fp
#18198 by iris-dev's avatar build

00:20:36

passed build-iris.dev #36122
master
b040f68f
fp
#18172 by iris-dev's avatar build

00:19:19

passed build-iris.dev #36072
master
b040f68f
fp
#18152 by iris-dev's avatar build

00:14:12

passed build-iris.dev #35997
master
b040f68f
fp
#18132 by iris-dev's avatar build

00:18:59

passed build-iris.dev #35938
master
b040f68f
fp
#18111 by iris-dev's avatar build

00:20:19

passed build-iris.dev #35870
master
b040f68f
fp
#18091 by iris-dev's avatar build

00:14:30

passed build-iris.dev #35829
master
b040f68f
fp
#18078 by iris-dev's avatar build

00:20:55

passed build-iris.dev #35737
master
b040f68f
fp
#18049 by iris-dev's avatar build

00:20:41

passed build-iris.dev #35571
master
b040f68f
fp
#18011 by iris-dev's avatar build

00:20:52

passed build-iris.dev #35461
master
b040f68f
fp
#17975 by Robbert Krebbers's avatar build

00:20:02

passed build-coq.8.8.2 #35445
master
b040f68f
fp
#17967 by Robbert Krebbers's avatar build

00:16:40

passed build-coq.8.9.0 #35444
master
b040f68f
fp-timing
#17967 by Robbert Krebbers's avatar build

00:16:16

failed build-iris.dev #35413
master
35608312
fp
#17961 by iris-dev's avatar build

00:10:52

passed build-iris.dev #35314
master
35608312
fp
#17935 by iris-dev's avatar build

00:19:10

passed build-iris.dev #35138
master
35608312
fp
#17894 by iris-dev's avatar build

00:14:10

passed build-iris.dev #35096
master
35608312
fp
#17874 by iris-dev's avatar build

00:14:36