Status Job Pipeline Stage Name Timing Coverage
failed #70105
master
aadb3dfd
fp
#28069 by iris-dev's avatar build build-iris.dev

00:21:11

passed #69923
master
aadb3dfd
fp
#28006 by iris-dev's avatar build build-iris.dev

00:22:50

passed #69659
master
aadb3dfd
fp
#27957 by iris-dev's avatar build build-iris.dev

00:23:25

passed #69544
master
aadb3dfd
fp
#27921 by iris-dev's avatar build build-iris.dev

00:22:19

passed #69495
master
aadb3dfd
fp
#27899 by iris-dev's avatar build build-iris.dev

00:22:58

passed #69270
master
aadb3dfd
fp
#27829 by iris-dev's avatar build build-iris.dev

00:22:11

passed #69023
master
aadb3dfd
fp
#27760 by iris-dev's avatar build build-iris.dev

00:20:57

passed #68692
master
aadb3dfd
fp
#27700 by iris-dev's avatar build build-iris.dev

00:20:31

passed #68603
master
aadb3dfd
fp
#27677 by Ralf Jung's avatar build build-iris.dev

00:21:44

passed #68570
master
aadb3dfd
fp
#27655 by Ralf Jung's avatar build build-iris.dev

00:21:49

passed #68491
master
aadb3dfd
fp
#27629 by iris-dev's avatar build build-iris.dev

00:20:41

passed #68332
master
aadb3dfd
fp
#27580 by iris-dev's avatar build build-iris.dev

00:20:47

passed #68246
master
aadb3dfd
fp
#27556 by iris-dev's avatar build build-iris.dev

00:20:44

passed #68165
master
aadb3dfd
fp
#27535 by iris-dev's avatar build build-iris.dev

00:20:58

passed #68007
master
aadb3dfd
fp
#27491 by iris-dev's avatar build build-iris.dev

00:20:39

passed #67834
master
aadb3dfd
fp
#27400 by iris-dev's avatar build build-iris.dev

00:20:50

passed #67587
master
aadb3dfd
fp
#27337 by iris-dev's avatar build build-iris.dev

00:20:42

passed #67423
master
aadb3dfd
fp
#27250 by iris-dev's avatar build build-iris.dev

00:20:52

passed #67148
master
aadb3dfd
fp
#27194 by iris-dev's avatar build build-iris.dev

00:20:50

passed #67079
master
aadb3dfd
fp
#27170 by iris-dev's avatar build build-iris.dev

00:20:59

passed #66950
master
aadb3dfd
fp
#27134 by iris-dev's avatar build build-iris.dev

00:21:04

passed #66643
master
aadb3dfd
fp
#27070 by iris-dev's avatar build build-iris.dev

00:21:56

passed #66464
master
aadb3dfd
fp
#27006 by iris-dev's avatar build build-iris.dev

00:21:27

passed #66204
master
aadb3dfd
fp
#26948 by iris-dev's avatar build build-iris.dev

00:21:15

passed #65940
master
aadb3dfd
fp
#26896 by iris-dev's avatar build build-iris.dev

00:20:50

passed #65642
master
aadb3dfd
fp
#26852 by iris-dev's avatar build build-iris.dev

00:21:33

passed #65555
master
aadb3dfd
fp
#26831 by iris-dev's avatar build build-iris.dev

00:21:02

passed #65500
master
aadb3dfd
fp
#26815 by Ralf Jung's avatar build build-coq.8.10.1

00:10:37

passed #65451
master
2ebbc90c
fp
#26798 by iris-dev's avatar build build-iris.dev

00:20:44

passed #65255
master
2ebbc90c
fp
#26746 by iris-dev's avatar build build-iris.dev

00:21:08