Status Job Pipeline Stage Name Timing Coverage
passed #99845
master
47314fec
fp
#36653 by iris-dev's avatar build build-iris.dev

00:18:14

passed #99735
master
47314fec
fp
#36582 by iris-dev's avatar build build-iris.dev

00:19:09

failed #99675
master
47314fec
fp
#36582 by iris-dev's avatar build build-iris.dev

00:09:39

passed #99533
master
47314fec
fp
#36530 by iris-dev's avatar build build-iris.dev

00:17:56

passed #99269
master
47314fec
fp
#36427 by iris-dev's avatar build build-iris.dev

00:18:07

passed #99081
master
47314fec
fp
#36348 by iris-dev's avatar build build-iris.dev

00:17:55

passed #98998
master
47314fec
fp
#36306 by iris-dev's avatar build build-iris.dev

00:18:08

passed #98930
master
47314fec
fp
#36278 by iris-dev's avatar build build-iris.dev

00:18:03

passed #98725
master
47314fec
fp
#36224 by iris-dev's avatar build build-iris.dev

00:18:59

passed #98524
master
47314fec
fp
#36160 by iris-dev's avatar build build-iris.dev

00:20:30

passed #98282
master
47314fec
fp
#36092 by iris-dev's avatar build build-iris.dev

00:17:52

passed #98182
master
47314fec
fp
#36045 by iris-dev's avatar build build-iris.dev

00:18:35

passed #98023
master
47314fec
fp
#35981 by iris-dev's avatar build build-iris.dev

00:18:03

passed #97954
master
47314fec
fp
#35950 by iris-dev's avatar build build-iris.dev

00:17:40

passed #97912
master
47314fec
fp
#35924 by iris-dev's avatar build build-iris.dev

00:18:02

passed #97749
master
47314fec
fp
#35862 by iris-dev's avatar build build-iris.dev

00:17:49

passed #97464
master
47314fec
fp
#35795 by iris-dev's avatar build build-iris.dev

00:18:09

passed #97296
master
47314fec
fp
#35744 by iris-dev's avatar build build-iris.dev

00:18:31

passed #97074
master
47314fec
fp
#35675 by iris-dev's avatar build build-iris.dev

00:18:03

passed #96969
master
47314fec
fp
#35627 by iris-dev's avatar build build-iris.dev

00:17:46

passed #96875
master
47314fec
fp
#35595 by iris-dev's avatar build build-iris.dev

00:18:36

passed #96791
master
47314fec
fp
#35580 by Ralf Jung's avatar build build-coq.8.10.2

00:11:58

passed #96790
master
47314fec
fp
#35580 by Ralf Jung's avatar build build-coq.8.11.2

00:11:37

passed #96789
master
47314fec
fp
#35580 by Ralf Jung's avatar build build-coq.8.12.0

00:11:42

failed #96730
master
75c05073
fp
#35556 by iris-dev's avatar build build-iris.dev

01:00:01

passed #96573
master
75c05073
fp
#35506 by iris-dev's avatar build build-iris.dev

00:19:58

passed #96363
master
75c05073
fp
#35458 by iris-dev's avatar build build-iris.dev

00:18:43

passed #96250
master
75c05073
fp
#35410 by iris-dev's avatar build build-iris.dev

00:17:52

passed #96063
master
75c05073
fp
#35346 by iris-dev's avatar build build-iris.dev

00:19:05

passed #95807
master
75c05073
fp
#35260 by iris-dev's avatar build build-iris.dev

00:18:52