Status Job Pipeline Stage Name Timing Coverage
passed #46068
master
62b4f945
fp
#20767 by Ralf Jung's avatar build build-coq.8.7.2

00:20:11

passed #46067
master
62b4f945
fp
#20767 by Ralf Jung's avatar build build-coq.8.8.2

00:20:13

passed #46066
master
62b4f945
fp
#20767 by Ralf Jung's avatar build build-coq.8.9.0

00:20:32

passed #46019
master
f410e4e7
fp
#20745 by iris-dev's avatar build build-iris.dev

00:09:05

passed #45774
master
f410e4e7
fp
#20679 by iris-dev's avatar build build-iris.dev

00:02:54

passed #45616
master
f410e4e7
fp
#20653 by iris-dev's avatar build build-iris.dev

00:03:01

passed #45443
master
f410e4e7
fp
#20627 by iris-dev's avatar build build-iris.dev

00:12:56

passed #45344
master
f410e4e7
fp
#20599 by iris-dev's avatar build build-iris.dev

00:02:55

passed #45290
master
f410e4e7
fp
#20584 by iris-dev's avatar build build-iris.dev

00:03:00

passed #45244
master
f410e4e7
fp
#20571 by iris-dev's avatar build build-iris.dev

00:07:46

passed #45175
master
f410e4e7
fp
#20549 by iris-dev's avatar build build-iris.dev

00:02:49

passed #45121
master
f410e4e7
fp
#20527 by iris-dev's avatar build build-iris.dev

00:02:56

passed #45002
master
f410e4e7
fp
#20491 by iris-dev's avatar build build-iris.dev

00:07:54

passed #44874
master
f410e4e7
fp
#20450 by iris-dev's avatar build build-iris.dev

00:03:00

passed #44789
master
f410e4e7
fp
#20421 by iris-dev's avatar build build-iris.dev

00:03:00

passed #44758
master
f410e4e7
fp
#20410 by iris-dev's avatar build build-iris.dev

00:02:58

passed #44717
master
f410e4e7
fp
#20393 by iris-dev's avatar build build-iris.dev

00:08:01

passed #44615
master
f410e4e7
fp
#20358 by iris-dev's avatar build build-iris.dev

00:02:49

passed #44544
master
f410e4e7
fp
#20339 by iris-dev's avatar build build-iris.dev

00:02:47

passed #44415
master
f410e4e7
fp
#20314 by iris-dev's avatar build build-iris.dev

00:02:57

passed #44137
master
f410e4e7
fp
#20268 by iris-dev's avatar build build-iris.dev

00:07:57

passed #44078
master
f410e4e7
fp
#20253 by iris-dev's avatar build build-iris.dev

00:02:52

passed #44047
master
f410e4e7
fp
#20242 by iris-dev's avatar build build-iris.dev

00:03:03

passed #44000
master
f410e4e7
fp
#20230 by iris-dev's avatar build build-iris.dev

00:07:57

passed #43912
master
f410e4e7
fp
#20205 by iris-dev's avatar build build-iris.dev

00:02:57

passed #43806
master
f410e4e7
fp
#20176 by iris-dev's avatar build build-iris.dev

00:07:42

passed #43736
master
f410e4e7
fp
#20155 by iris-dev's avatar build build-iris.dev

00:02:49

passed #43610
master
f410e4e7
fp
#20126 by iris-dev's avatar build build-iris.dev

00:09:10

passed #43531
master
f410e4e7
fp
#20107 by iris-dev's avatar build build-iris.dev

00:02:55

passed #43498
master
f410e4e7
fp
#20095 by iris-dev's avatar build build-iris.dev

00:07:57