Status Job Pipeline Stage Name Timing Coverage
passed #60737
master
fdb975a5
fp
#25754 by iris-dev's avatar build build-iris.dev

00:20:03

passed #60481
master
fdb975a5
fp
#25691 by iris-dev's avatar build build-iris.dev

00:19:50

passed #60292
master
fdb975a5
fp
#25650 by iris-dev's avatar build build-iris.dev

00:19:48

passed #60053
master
fdb975a5
fp
#25600 by iris-dev's avatar build build-iris.dev

00:20:56

passed #59942
master
fdb975a5
fp
#25560 by iris-dev's avatar build build-iris.dev

00:20:07

passed #59825
master
fdb975a5
fp
#25522 by iris-dev's avatar build build-iris.dev

00:20:30

passed #59789
master
fdb975a5
fp
#25507 by iris-dev's avatar build build-iris.dev

00:20:27

passed #59738
master
fdb975a5
fp
#25484 by iris-dev's avatar build build-iris.dev

00:20:40

passed #59648
master
fdb975a5
fp
#25441 by iris-dev's avatar build build-iris.dev

00:20:00

passed #59587
master
fdb975a5
fp
#25412 by iris-dev's avatar build build-iris.dev

00:19:53

passed #59427
master
fdb975a5
fp
#25363 by Ralf Jung's avatar build build-iris.dev

00:21:35

passed #59401
master
fdb975a5
fp
#25345 by Ralf Jung's avatar build build-iris.dev

00:21:05

failed #59346
master
fdb975a5
fp
#25318 by iris-dev's avatar build build-iris.dev

00:13:07

passed #59257
master
fdb975a5
fp
#25281 by iris-dev's avatar build build-iris.dev

00:20:20

passed #59226
master
fdb975a5
fp-timing
#25260 by Robbert's avatar build build-coq.8.11.0

00:11:58

passed #59179
master
03c65e92
fp
#25238 by iris-dev's avatar build build-iris.dev

00:20:56

passed #59141
master
03c65e92
fp
#25221 by iris-dev's avatar build build-iris.dev

00:21:56

passed #59097
master
03c65e92
fp
#25199 by iris-dev's avatar build build-iris.dev

00:20:43

passed #59050
master
03c65e92
fp-timing
#25187 by Robbert's avatar build build-coq.8.11.0

00:06:46

passed #58920
master
aff91eaa
fp
#25132 by iris-dev's avatar build build-iris.dev

00:20:03

passed #58802
master
aff91eaa
fp
#25094 by iris-dev's avatar build build-iris.dev

00:19:55

passed #58631
master
aff91eaa
fp
#25049 by iris-dev's avatar build build-iris.dev

00:19:47

passed #58473
master
aff91eaa
fp
#24997 by iris-dev's avatar build build-iris.dev

00:20:10

passed #58381
master
aff91eaa
fp
#24957 by iris-dev's avatar build build-iris.dev

00:22:01

passed #58345
master
aff91eaa
fp
#24942 by iris-dev's avatar build build-iris.dev

00:21:13

passed #58303
master
aff91eaa
fp
#24924 by iris-dev's avatar build build-iris.dev

00:22:20

passed #58220
master
aff91eaa
fp
#24882 by iris-dev's avatar build build-iris.dev

00:25:38

passed #58134
master
aff91eaa
fp
#24844 by iris-dev's avatar build build-iris.dev

00:21:07

passed #58060
master
aff91eaa
fp
#24813 by iris-dev's avatar build build-iris.dev

00:21:15

passed #57980
master
aff91eaa
fp
#24778 by iris-dev's avatar build build-iris.dev

00:21:12