Status Job Pipeline Stage Name Coverage
passed #27732
master
1e089064
fp
#15689 by iris-dev's avatar build build-iris.dev

00:06:32

passed #27701
master
1e089064
fp
#15689 by iris-dev's avatar build build-iris.dev

00:06:46

passed #27646
master
1e089064
fp
#15674 by iris-dev's avatar build build-iris.dev

00:06:57

passed #27614
master
1e089064
fp
#15662 by iris-dev's avatar build build-iris.dev

00:10:38

passed #27568
master
1e089064
fp
#15646 by iris-dev's avatar build build-iris.dev

00:07:02

passed #27537
master
1e089064
fp
#15635 by iris-dev's avatar build build-iris.dev

00:11:00

passed #27496
master
1e089064
fp
#15621 by iris-dev's avatar build build-iris.dev

00:07:04

passed #27420
master
1e089064
fp
#15601 by iris-dev's avatar build build-iris.dev

00:07:02

passed #27346
master
1e089064
fp
#15577 by iris-dev's avatar build build-iris.dev

00:10:40

passed #27282
master
1e089064
fp
#15559 by iris-dev's avatar build build-iris.dev

00:11:54

passed #27184
master
1e089064
fp
#15534 by iris-dev's avatar build build-iris.dev

00:11:43

passed #27081
master
1e089064
fp
#15503 by iris-dev's avatar build build-iris.dev

00:11:51

passed #26884
master
1e089064
fp
#15438 by iris-dev's avatar build build-iris.dev

00:10:35

passed #26739
master
1e089064
fp
#15407 by iris-dev's avatar build build-iris.dev

00:06:39

passed #26628
master
1e089064
fp
#15380 by iris-dev's avatar build build-iris.dev

00:06:47

passed #26568
master
1e089064
fp
#15363 by iris-dev's avatar build build-iris.dev

00:06:43

passed #26533
master
1e089064
fp
#15352 by iris-dev's avatar build build-iris.dev

00:07:03

passed #26483
master
1e089064
fp
#15338 by iris-dev's avatar build build-iris.dev

00:06:52

passed #26405
master
1e089064
fp
#15322 by iris-dev's avatar build build-iris.dev

00:10:46

passed #26176
master
1e089064
fp
#15288 by iris-dev's avatar build build-iris.dev

00:11:19

passed #26122
master
1e089064
fp
#15274 by Robbert's avatar build build-coq.8.9.0

00:10:38

passed #26121
master
1e089064
fp
#15274 by Robbert's avatar build build-coq.dev

00:14:41

passed #26091
master
f5660abc
fp
#15265 by Ralf Jung's avatar build build-coq.8.9.0

00:06:06

passed #26090
master
f5660abc
fp
#15265 by Ralf Jung's avatar build build-coq.dev

00:14:25

failed #26077
master
6036000a
fp
#15247 by iris-dev's avatar build build-iris.dev

00:06:39

failed #26029
master
6036000a
fp
#15247 by iris-dev's avatar build build-iris.dev

00:05:59

passed #25884
master
6036000a
fp
#15216 by iris-dev's avatar build build-iris.dev

00:11:32

failed #25748
master
6036000a
fp
#15185 by iris-dev's avatar build build-iris.dev

00:02:57

passed #25575
master
6036000a
fp
#15154 by Robbert's avatar build build-iris.dev

00:06:41

passed #25505
master
6036000a
fp
#15135 by Robbert's avatar build build-iris.dev

00:11:33