Status Job Pipeline Stage Name Timing Coverage
passed #54034
master
1a226ba9
fp
#23217 by iris-dev's avatar build build-iris.dev

00:14:45

passed #54001
master
1a226ba9
fp
#23204 by iris-dev's avatar build build-iris.dev

00:14:39

passed #53896
master
1a226ba9
fp
#23169 by iris-dev's avatar build build-iris.dev

00:14:59

passed #53719
master
1a226ba9
fp
#23119 by iris-dev's avatar build build-iris.dev

00:14:52

passed #53608
master
1a226ba9
fp
#23087 by iris-dev's avatar build build-iris.dev

00:14:49

passed #53378
master
1a226ba9
fp
#23036 by iris-dev's avatar build build-iris.dev

00:14:47

passed #53289
master
1a226ba9
fp
#23004 by iris-dev's avatar build build-iris.dev

00:14:42

passed #53240
master
1a226ba9
fp
#22988 by iris-dev's avatar build build-iris.dev

00:14:48

passed #53147
master
1a226ba9
fp
#22954 by iris-dev's avatar build build-iris.dev

00:14:47

passed #52994
master
1a226ba9
fp
#22913 by iris-dev's avatar build build-iris.dev

00:14:53

passed #52897
master
1a226ba9
fp
#22881 by iris-dev's avatar build build-iris.dev

00:14:49

passed #52826
master
1a226ba9
fp
#22851 by iris-dev's avatar build build-iris.dev

00:14:41

passed #52762
master
1a226ba9
fp
#22821 by iris-dev's avatar build build-iris.dev

00:14:39

passed #52751
master
1a226ba9
fp
#22810 by Ralf Jung's avatar build build-coq.8.8.2

00:21:31

passed #52750
master
1a226ba9
fp
#22810 by Ralf Jung's avatar build build-coq.8.9.1

00:22:24

passed #52749
master
1a226ba9
fp
#22810 by Ralf Jung's avatar build build-coq.8.10.1

00:14:02

canceled #52748
master
e4084880
fp
#22809 by Ralf Jung's avatar build build-coq.8.8.2

canceled #52747
master
e4084880
fp
#22809 by Ralf Jung's avatar build build-coq.8.9.1

canceled #52746
master
e4084880
fp
#22809 by Ralf Jung's avatar build build-coq.8.10.1

passed #52638
master
702df1a2
fp
#22769 by iris-dev's avatar build build-iris.dev

00:14:52

passed #52603
master
702df1a2
fp
#22754 by iris-dev's avatar build build-iris.dev

00:14:39

passed #52559
master
702df1a2
fp
#22736 by iris-dev's avatar build build-iris.dev

00:14:31

passed #52466
master
702df1a2
fp
#22696 by iris-dev's avatar build build-iris.dev

00:12:50

passed #52346
master
702df1a2
fp
#22639 by iris-dev's avatar build build-iris.dev

00:14:39

passed #52271
master
702df1a2
fp
#22601 by iris-dev's avatar build build-iris.dev

00:14:40

passed #52228
master
702df1a2
fp
#22581 by iris-dev's avatar build build-iris.dev

00:14:49

passed #52183
master
702df1a2
fp
#22561 by iris-dev's avatar build build-iris.dev

00:14:28

passed #52138
master
702df1a2
fp
#22543 by iris-dev's avatar build build-iris.dev

00:14:35

passed #52095
master
702df1a2
fp
#22525 by iris-dev's avatar build build-iris.dev

00:14:29

passed #52060
master
702df1a2
fp
#22511 by iris-dev's avatar build build-iris.dev

00:14:34