Status Job Pipeline Stage Name Timing Coverage
passed #49607
master
b19a5b84
fp
#21846 by iris-dev's avatar build build-iris.dev

00:20:56

passed #49559
master
b19a5b84
fp
#21824 by iris-dev's avatar build build-iris.dev

00:20:58

passed #49469
master
b19a5b84
fp
#21794 by iris-dev's avatar build build-iris.dev

00:19:48

passed #49347
master
b19a5b84
fp
#21762 by iris-dev's avatar build build-iris.dev

00:20:40

passed #49161
master
b19a5b84
fp
#21727 by iris-dev's avatar build build-iris.dev

00:20:01

passed #49122
master
b19a5b84
fp
#21711 by iris-dev's avatar build build-iris.dev

00:19:54

passed #49087
master
b19a5b84
fp
#21697 by iris-dev's avatar build build-iris.dev

00:19:53

passed #49011
master
b19a5b84
fp
#21665 by iris-dev's avatar build build-iris.dev

00:19:58

passed #48858
master
b19a5b84
fp
#21641 by iris-dev's avatar build build-iris.dev

00:19:31

passed #48820
master
b19a5b84
fp
#21625 by iris-dev's avatar build build-iris.dev

00:19:53

passed #48753
master
b19a5b84
fp
#21600 by iris-dev's avatar build build-iris.dev

00:20:56

passed #48615
master
b19a5b84
fp
#21570 by iris-dev's avatar build build-iris.dev

00:19:46

passed #48577
master
b19a5b84
fp
#21554 by iris-dev's avatar build build-iris.dev

00:19:48

passed #48536
master
b19a5b84
fp
#21540 by iris-dev's avatar build build-iris.dev

00:20:41

passed #48255
master
b19a5b84
fp
#21467 by iris-dev's avatar build build-iris.dev

00:25:47

passed #48192
master
b19a5b84
fp-timing
#21433 by Ralf Jung's avatar build build-coq.8.10.1

00:15:57

canceled #48168
master
de6dd885
fp-timing
#21423 by Robbert's avatar build build-coq.8.10.1

failed #48120
master
a20140b8
fp
#21410 by iris-dev's avatar build build-iris.dev

00:13:42

passed #48011
master
a20140b8
fp
#21369 by iris-dev's avatar build build-iris.dev

00:21:02

passed #47839
master
a20140b8
fp
#21336 by iris-dev's avatar build build-iris.dev

00:20:44

passed #47677
master
a20140b8
fp
#21303 by iris-dev's avatar build build-iris.dev

00:20:51

passed #47594
master
a20140b8
fp
#21274 by iris-dev's avatar build build-iris.dev

00:20:35

passed #47558
master
a20140b8
fp
#21258 by iris-dev's avatar build build-iris.dev

00:20:40

passed #47429
master
a20140b8
fp
#21229 by iris-dev's avatar build build-iris.dev

00:20:38

passed #47378
master
a20140b8
fp-timing
#21219 by Ralf Jung's avatar build build-coq.8.10.1

00:06:36

passed #47347
master
d731cb31
fp
#21210 by iris-dev's avatar build build-iris.dev

00:22:54

passed #47319
master
d731cb31
fp-timing
#21198 by Ralf Jung's avatar build build-coq.8.10.1

00:06:38

failed #47318
master
815b0180
fp-timing
#21197 by Ralf Jung's avatar build build-coq.8.10.1

00:05:18

passed #47257
master
8de152b1
fp
#21183 by iris-dev's avatar build build-iris.dev

00:20:35

passed #47192
master
8de152b1
fp-timing
#21163 by Ralf Jung's avatar build build-coq.8.10.1

00:06:37