Status Name Job Pipeline Stage Duration Coverage
passed build-iris.dev #108060
master
11b7bc6a
fp
#39722 by iris-dev's avatar build

00:17:37

passed build-iris.dev #107992
master
11b7bc6a
fp
#39690 by iris-dev's avatar build

00:17:31

passed build-iris.dev #107936
master
11b7bc6a
fp
#39665 by iris-dev's avatar build

00:17:23

passed build-iris.dev #107889
master
11b7bc6a
fp
#39640 by iris-dev's avatar build

00:17:12

passed build-iris.dev #107867
master
11b7bc6a
fp
#39633 by Ralf Jung's avatar build

00:12:26

passed build-iris.dev #107714
master
11b7bc6a
fp
#39576 by iris-dev's avatar build

00:18:23

passed build-iris.dev #107595
master
11b7bc6a
fp
#39536 by iris-dev's avatar build

00:16:22

passed build-iris.dev #107504
master
11b7bc6a
fp
#39487 by iris-dev's avatar build

00:16:06

passed build-iris.dev #107424
master
11b7bc6a
fp
#39457 by iris-dev's avatar build

00:16:33

passed build-iris.dev #107280
master
11b7bc6a
fp
#39410 by iris-dev's avatar build

00:16:10

passed build-iris.dev #107225
master
11b7bc6a
fp
#39389 by iris-dev's avatar build

00:16:54

passed build-iris.dev #107181
master
11b7bc6a
fp
#39370 by iris-dev's avatar build

00:17:36

passed build-iris.dev #106938
master
11b7bc6a
fp
#39317 by iris-dev's avatar build

00:17:45

passed build-iris.dev #106682
master
11b7bc6a
fp
#39248 by iris-dev's avatar build

00:19:23

passed build-coq.8.11.2 #106653
master
11b7bc6a
fp
#39232 by Ralf Jung's avatar build

00:12:20

passed build-coq.8.12.0 #106652
master
11b7bc6a
fp
#39232 by Ralf Jung's avatar build

00:12:31

passed build-iris.dev #106572
master
c4ddf629
fp
#39199 by iris-dev's avatar build

00:20:42

passed build-iris.dev #106454
master
c4ddf629
fp
#39166 by iris-dev's avatar build

00:21:08

passed build-iris.dev #106335
master
c4ddf629
fp
#39117 by iris-dev's avatar build

00:19:38

passed build-iris.dev #106207
master
c4ddf629
fp
#39082 by iris-dev's avatar build

00:19:27

passed build-coq.8.10.2 #106026
master
c4ddf629
fp
#39055 by Ralf Jung's avatar build

00:12:30

passed build-coq.8.11.2 #106025
master
c4ddf629
fp
#39055 by Ralf Jung's avatar build

00:12:11

passed build-coq.8.12.0 #106024
master
c4ddf629
fp
#39055 by Ralf Jung's avatar build

00:12:16

failed build-iris.dev #105948
master
3ed6ae06
fp
#39032 by iris-dev's avatar build

00:17:13

passed build-iris.dev #105712
master
3ed6ae06
fp
#38967 by iris-dev's avatar build

00:19:16

passed build-iris.dev #105522
master
3ed6ae06
fp
#38925 by iris-dev's avatar build

00:19:59

passed build-iris.dev #105432
master
3ed6ae06
fp
#38891 by iris-dev's avatar build

00:19:13

passed build-iris.dev #105373
master
3ed6ae06
fp
#38865 by iris-dev's avatar build

00:20:03

passed build-iris.dev #105299
master
3ed6ae06
fp
#38834 by iris-dev's avatar build

00:20:08

passed build-iris.dev #105246
master
3ed6ae06
fp
#38809 by iris-dev's avatar build

00:19:13