Status Job Pipeline Stage Name Timing Coverage
passed #50369
master
702df1a2
fp
#22036 by iris-dev's avatar build build-iris.dev

00:15:02

passed #50199
master
702df1a2
fp
#22008 by iris-dev's avatar build build-iris.dev

00:15:11

passed #50077
master
702df1a2
fp
#21985 by iris-dev's avatar build build-iris.dev

00:15:12

passed #49937
master
702df1a2
fp
#21955 by iris-dev's avatar build build-iris.dev

00:15:15

passed #49855
master
702df1a2
fp
#21921 by iris-dev's avatar build build-iris.dev

00:15:03

passed #49817
master
702df1a2
fp
#21905 by iris-dev's avatar build build-iris.dev

00:14:52

passed #49770
master
702df1a2
fp
#21886 by iris-dev's avatar build build-iris.dev

00:14:37

passed #49603
master
702df1a2
fp
#21842 by iris-dev's avatar build build-iris.dev

00:15:09

passed #49555
master
702df1a2
fp
#21820 by iris-dev's avatar build build-iris.dev

00:15:01

passed #49465
master
702df1a2
fp
#21790 by iris-dev's avatar build build-iris.dev

00:14:59

passed #49343
master
702df1a2
fp
#21758 by iris-dev's avatar build build-iris.dev

00:15:01

passed #49157
master
702df1a2
fp
#21723 by iris-dev's avatar build build-iris.dev

00:14:34

passed #49118
master
702df1a2
fp
#21707 by iris-dev's avatar build build-iris.dev

00:14:56

passed #49083
master
702df1a2
fp
#21693 by iris-dev's avatar build build-iris.dev

00:14:50

passed #49007
master
702df1a2
fp
#21661 by iris-dev's avatar build build-iris.dev

00:14:46

passed #48852
master
702df1a2
fp
#21636 by iris-dev's avatar build build-iris.dev

00:14:28

passed #48816
master
702df1a2
fp
#21621 by iris-dev's avatar build build-iris.dev

00:14:48

passed #48749
master
702df1a2
fp
#21596 by iris-dev's avatar build build-iris.dev

00:14:39

passed #48611
master
702df1a2
fp
#21566 by iris-dev's avatar build build-iris.dev

00:14:54

passed #48573
master
702df1a2
fp
#21550 by iris-dev's avatar build build-iris.dev

00:14:38

passed #48532
master
702df1a2
fp
#21536 by iris-dev's avatar build build-iris.dev

00:14:20

passed #48251
master
702df1a2
fp
#21463 by iris-dev's avatar build build-iris.dev

00:19:04

passed #48223
master
702df1a2
fp
#21448 by Robbert's avatar build build-coq.8.8.2

00:18:50

passed #48222
master
702df1a2
fp
#21448 by Robbert's avatar build build-coq.8.9.1

00:19:09

passed #48221
master
702df1a2
fp
#21448 by Robbert's avatar build build-coq.8.10.1

00:18:51

failed #48116
master
4a9d8f2f
fp
#21406 by iris-dev's avatar build build-iris.dev

00:13:41

passed #48007
master
4a9d8f2f
fp
#21365 by iris-dev's avatar build build-iris.dev

00:15:22

passed #47835
master
4a9d8f2f
fp
#21332 by iris-dev's avatar build build-iris.dev

00:15:32

passed #47673
master
4a9d8f2f
fp
#21299 by iris-dev's avatar build build-iris.dev

00:15:31

passed #47625
master
4a9d8f2f
fp
#21283 by Ralf Jung's avatar build build-coq.8.8.2

00:02:38