Status Job Pipeline Stage Name Timing Coverage
passed #110091
master
1226aa9c
fp
#40558 by iris-dev's avatar build build-iris.dev

00:15:06

passed #109955
master
1226aa9c
fp
#40482 by iris-dev's avatar build build-iris.dev

00:14:44

passed #109859
master
1226aa9c
fp
#40440 by iris-dev's avatar build build-iris.dev

00:15:08

passed #109661
master
1226aa9c
fp
#40379 by iris-dev's avatar build build-iris.dev

00:17:57

passed #109577
master
1226aa9c
fp
#40336 by iris-dev's avatar build build-iris.dev

00:16:12

passed #109501
master
1226aa9c
fp
#40299 by Ralf Jung's avatar build build-iris.dev

00:14:31

passed #109500
master
1226aa9c
fp
#40298 by Ralf Jung's avatar build build-coq.8.12.0

00:06:09

failed #109464
master
d21f89df
fp
#40289 by iris-dev's avatar build build-iris.dev

00:15:20

failed #109417
master
d21f89df
fp
#40269 by iris-dev's avatar build build-iris.dev

00:12:49

passed #109369
master
d21f89df
fp
#40246 by iris-dev's avatar build build-iris.dev

00:16:01

passed #109275
master
d21f89df
fp
#40211 by iris-dev's avatar build build-iris.dev

00:16:48

passed #109134
master
d21f89df
fp
#40159 by iris-dev's avatar build build-iris.dev

00:17:42

passed #109079
master
d21f89df
fp
#40133 by iris-dev's avatar build build-iris.dev

00:16:57

passed #108979
master
d21f89df
fp
#40093 by iris-dev's avatar build build-iris.dev

00:16:25

passed #108867
master
d21f89df
fp
#40044 by iris-dev's avatar build build-iris.dev

00:18:26

passed #108821
master
d21f89df
fp
#40025 by iris-dev's avatar build build-iris.dev

00:17:46

passed #108756
master
d21f89df
fp
#40002 by iris-dev's avatar build build-iris.dev

00:18:00

passed #108708
master
d21f89df
fp
#39981 by iris-dev's avatar build build-iris.dev

00:18:15

passed #108659
master
d21f89df
fp
#39959 by iris-dev's avatar build build-iris.dev

00:18:12

passed #108584
master
d21f89df
fp
#39937 by iris-dev's avatar build build-iris.dev

00:14:40

passed #108533
master
d21f89df
fp
#39913 by iris-dev's avatar build build-iris.dev

00:17:21

passed #108487
master
d21f89df
fp
#39889 by iris-dev's avatar build build-iris.dev

00:14:53

passed #108436
master
d21f89df
fp
#39868 by iris-dev's avatar build build-iris.dev

00:18:20

passed #108389
master
d21f89df
fp
#39848 by iris-dev's avatar build build-iris.dev

00:17:31

passed #108340
master
d21f89df
fp
#39827 by iris-dev's avatar build build-iris.dev

00:20:23

passed #108253
master
d21f89df
fp
#39801 by iris-dev's avatar build build-iris.dev

00:14:34

passed #108158
master
d21f89df
fp
#39760 by iris-dev's avatar build build-iris.dev

00:17:56

passed #108069
master
d21f89df
fp
#39731 by iris-dev's avatar build build-iris.dev

00:18:33

passed #108003
master
d21f89df
fp
#39701 by iris-dev's avatar build build-iris.dev

00:17:36

passed #107946
master
d21f89df
fp
#39675 by iris-dev's avatar build build-iris.dev

00:16:25