Status Job Pipeline Stage Name Timing Coverage
passed #47426
master
dfa85a01
fp
#21226 by iris-dev's avatar build build-iris.dev

00:20:12

passed #47344
master
dfa85a01
fp
#21207 by iris-dev's avatar build build-iris.dev

00:19:51

passed #47254
master
dfa85a01
fp
#21180 by iris-dev's avatar build build-iris.dev

00:20:17

passed #47138
master
dfa85a01
fp
#21141 by iris-dev's avatar build build-iris.dev

00:19:54

passed #47080
master
dfa85a01
fp
#21121 by iris-dev's avatar build build-iris.dev

00:19:47

passed #47017
master
dfa85a01
fp
#21100 by iris-dev's avatar build build-iris.dev

00:19:25

passed #46954
master
dfa85a01
fp
#21070 by iris-dev's avatar build build-iris.dev

00:19:18

passed #46879
master
dfa85a01
fp
#21041 by iris-dev's avatar build build-iris.dev

00:19:18

passed #46801
master
dfa85a01
fp
#21003 by Ralf Jung's avatar build build-iris.dev

00:22:08

passed #46756
master
dfa85a01
fp
#20984 by Ralf Jung's avatar build build-coq.8.10.1

00:18:11

passed #46582
master
531c03ce
fp
#20934 by iris-dev's avatar build build-iris.dev

00:19:22

passed #46431
master
531c03ce
fp
#20898 by iris-dev's avatar build build-iris.dev

00:19:35

passed #46354
master
531c03ce
fp
#20874 by iris-dev's avatar build build-iris.dev

00:19:57

passed #46310
master
531c03ce
fp
#20856 by iris-dev's avatar build build-iris.dev

00:19:50

passed #46266
master
531c03ce
fp
#20836 by iris-dev's avatar build build-iris.dev

00:19:39

passed #46187
master
531c03ce
fp
#20806 by iris-dev's avatar build build-iris.dev

00:19:24

passed #46072
master
531c03ce
fp
#20771 by Ralf Jung's avatar build build-coq.8.9.0

00:05:39

passed #46020
master
f60ffe3f
fp
#20746 by iris-dev's avatar build build-iris.dev

00:18:11

passed #46001
master
f60ffe3f
fp-timing
#20731 by Ralf Jung's avatar build build-coq.8.9.0

00:05:26

passed #46000
master
3846ebef
fp-timing
#20730 by Ralf Jung's avatar build build-coq.8.9.0

00:12:43

failed #45999
master
3846ebef
fp
#20730 by Ralf Jung's avatar build build-coq.dev

00:04:15

passed #45775
master
8e3d7431
fp
#20680 by iris-dev's avatar build build-iris.dev

00:16:52

passed #45617
master
8e3d7431
fp
#20654 by iris-dev's avatar build build-iris.dev

00:16:53

passed #45444
master
8e3d7431
fp
#20628 by iris-dev's avatar build build-iris.dev

00:18:15

passed #45345
master
8e3d7431
fp
#20600 by iris-dev's avatar build build-iris.dev

00:16:53

passed #45291
master
8e3d7431
fp
#20585 by iris-dev's avatar build build-iris.dev

00:17:15

passed #45245
master
8e3d7431
fp
#20572 by iris-dev's avatar build build-iris.dev

00:17:43

passed #45176
master
8e3d7431
fp
#20550 by iris-dev's avatar build build-iris.dev

00:17:17

passed #45122
master
8e3d7431
fp
#20528 by iris-dev's avatar build build-iris.dev

00:17:22

passed #45003
master
8e3d7431
fp
#20492 by iris-dev's avatar build build-iris.dev

00:17:57