Status Name Job Pipeline Stage Duration Coverage
passed trigger-iris.dev #166120
master
6ed47dfe
fp
#60206 by Ralf Jung's avatar build

00:20:24

passed trigger-iris.dev #164370
master
6ed47dfe
fp
#59593 by iris-dev's avatar build

00:17:20

passed trigger-iris.dev #164203
master
6ed47dfe
fp
#59550 by iris-dev's avatar build

00:17:33

passed trigger-iris.dev #164132
master
6ed47dfe
fp
#59505 by iris-dev's avatar build

00:17:43

passed trigger-iris.dev #164087
master
6ed47dfe
fp
#59485 by iris-dev's avatar build

00:17:15

passed trigger-iris.dev #164030
master
6ed47dfe
fp
#59461 by iris-dev's avatar build

00:18:43

passed trigger-iris.dev #163953
master
6ed47dfe
fp
#59426 by iris-dev's avatar build

00:17:31

passed trigger-iris.dev #163883
master
6ed47dfe
fp
#59391 by iris-dev's avatar build

00:17:25

passed trigger-iris.dev #163773
master
6ed47dfe
fp
#59351 by iris-dev's avatar build

00:17:01

passed trigger-iris.dev #163681
master
6ed47dfe
fp
#59322 by iris-dev's avatar build

00:17:15

passed trigger-iris.dev #163636
master
6ed47dfe
fp
#59302 by iris-dev's avatar build

00:17:36

passed trigger-iris.dev #163592
master
6ed47dfe
fp
#59283 by iris-dev's avatar build

00:17:25

passed trigger-iris.dev #163544
master
6ed47dfe
fp
#59261 by iris-dev's avatar build

00:17:24

passed trigger-iris.dev #163414
master
6ed47dfe
fp
#59227 by iris-dev's avatar build

00:19:16

passed trigger-iris.dev #163299
master
6ed47dfe
fp
#59191 by iris-dev's avatar build

00:17:28

passed trigger-iris.dev #163179
master
6ed47dfe
fp
#59149 by iris-dev's avatar build

00:17:38

passed trigger-iris.dev #163085
master
6ed47dfe
fp
#59115 by iris-dev's avatar build

00:17:23

passed trigger-iris.dev #162987
master
6ed47dfe
fp
#59088 by iris-dev's avatar build

00:17:55

passed trigger-iris.dev #162944
master
6ed47dfe
fp
#59070 by iris-dev's avatar build

00:18:55

passed trigger-iris.dev #162689
master
6ed47dfe
fp
#58992 by iris-dev's avatar build

00:19:11

passed trigger-iris.dev #162493
master
6ed47dfe
fp
#58929 by iris-dev's avatar build

00:17:52

passed trigger-iris.dev #162321
master
6ed47dfe
fp
#58876 by iris-dev's avatar build

00:17:25

passed trigger-iris.dev #162158
master
6ed47dfe
fp
#58827 by iris-dev's avatar build

00:19:18

passed trigger-iris.dev #161931
master
6ed47dfe
fp
#58762 by iris-dev's avatar build

00:17:42

passed trigger-iris.dev #161874
master
6ed47dfe
fp
#58736 by iris-dev's avatar build

00:17:47

passed trigger-iris.dev #161812
master
6ed47dfe
fp
#58705 by iris-dev's avatar build

00:17:54

passed trigger-iris.dev #161722
master
6ed47dfe
fp
#58671 by iris-dev's avatar build

00:20:54

passed build-coq.8.13.2 #161714
master
6ed47dfe
fp
#58663 by Ralf Jung's avatar build

00:12:47

passed trigger-iris.dev #161608
master
3cc498a6
fp
#58606 by iris-dev's avatar build

00:19:56

passed build-coq.8.13.2 #161586
master
3cc498a6
fp
#58591 by Jonas Kastberg's avatar build

00:11:12