Status Job Pipeline Stage Name Timing Coverage
passed #104388
master
921e8532
fp
#38538 by iris-dev's avatar build build-iris.dev

00:31:57

passed #104277
master
921e8532
fp
#38493 by iris-dev's avatar build build-iris.dev

00:31:57

passed #104226
master
921e8532
fp
#38471 by iris-dev's avatar build build-iris.dev

00:31:32

passed #103999
master
921e8532
fp
#38338 by iris-dev's avatar build build-iris.dev

00:32:04

passed #103405
master
921e8532
fp
#38062 by iris-dev's avatar build build-iris.dev

00:33:11

passed #103009
master
921e8532
fp
#37861 by iris-dev's avatar build build-iris.dev

00:32:36

passed #102833
master
921e8532
fp
#37763 by iris-dev's avatar build build-iris.dev

00:32:42

passed #102639
master
921e8532
fp
#37677 by Ralf Jung's avatar build build-coq.8.11.2

00:17:44

passed #102638
master
921e8532
fp-timing
#37677 by Ralf Jung's avatar build build-coq.8.12.0

00:17:19

passed #102538
master
144359d4
fp
#37641 by iris-dev's avatar build build-iris.dev

00:31:00

passed #102462
master
144359d4
fp
#37597 by Hai Dang's avatar build build-coq.8.11.2

00:13:24

passed #102461
master
144359d4
fp-timing
#37597 by Hai Dang's avatar build build-coq.8.12.0

00:12:54

passed #102358
master
b368bd06
fp
#37571 by iris-dev's avatar build build-iris.dev

00:32:11

passed #102213
master
b368bd06
fp
#37525 by iris-dev's avatar build build-iris.dev

00:31:46

passed #102135
master
b368bd06
fp
#37488 by iris-dev's avatar build build-iris.dev

00:31:06

passed #101913
master
b368bd06
fp
#37401 by iris-dev's avatar build build-iris.dev

00:32:21

passed #101708
master
b368bd06
fp
#37319 by iris-dev's avatar build build-iris.dev

00:31:40

passed #101692
master
b368bd06
fp
#37304 by Ralf Jung's avatar build build-coq.8.11.2

00:13:59

passed #101691
master
b368bd06
fp-timing
#37304 by Ralf Jung's avatar build build-coq.8.12.0

00:12:59

passed #101574
master
bd8ff39f
fp
#37248 by Ralf Jung's avatar build build-coq.8.11.2

00:31:50

passed #101573
master
bd8ff39f
fp-timing
#37248 by Ralf Jung's avatar build build-coq.8.12.0

00:27:29

passed #101463
master
17aeb7d7
fp
#37223 by iris-dev's avatar build build-iris.dev

00:49:24

passed #101283
master
17aeb7d7
fp
#37147 by iris-dev's avatar build build-iris.dev

00:33:15

passed #101195
master
17aeb7d7
fp
#37124 by Hai Dang's avatar build build-coq.8.11.2

00:13:21

passed #101194
master
17aeb7d7
fp-timing
#37124 by Hai Dang's avatar build build-coq.8.12.0

00:12:49

passed #101084
master
0a42de1b
fp
#37097 by iris-dev's avatar build build-iris.dev

00:33:49

passed #101027
master
0a42de1b
fp
#37075 by iris-dev's avatar build build-iris.dev

00:34:36

passed #100968
master
0a42de1b
fp
#37052 by iris-dev's avatar build build-iris.dev

00:35:12

passed #100831
master
0a42de1b
fp
#37000 by Ralf Jung's avatar build build-coq.8.11.2

00:18:16

passed #100830
master
0a42de1b
fp-timing
#37000 by Ralf Jung's avatar build build-coq.8.12.0

00:16:56