Status Job Pipeline Stage Name Timing Coverage
passed #123142
master
3355a9ac
fp
#44980 by Michael Sammler's avatar build check-generated

00:11:26

passed #123141
master
3355a9ac
fp-timing
#44980 by Michael Sammler's avatar build build-coq.8.12.0-timing

00:20:26

passed #123032
master
8a6281e3
fp
#44950 by iris-dev's avatar build build-iris.dev

00:31:14

passed #122851
ci/bitvec
c5710c0f
fp
#44891 by Fengmin Zhu's avatar build check-generated

00:05:03

passed #122850
ci/bitvec
c5710c0f
fp
#44891 by Fengmin Zhu's avatar build build-coq.8.12.0

00:16:45

passed #122849
master
8a6281e3
fp
#44890 by iris-dev's avatar build build-iris.dev

00:30:29

passed #122769
ci/addr_as_int
17fdb290
fp
#44840 by Rodolphe Lepigre's avatar build check-generated

00:04:56

failed #122768
ci/addr_as_int
17fdb290
fp
#44840 by Rodolphe Lepigre's avatar build build-coq.8.12.0

00:05:16

passed #122594
master
8a6281e3
fp
#44810 by iris-dev's avatar build build-iris.dev

00:28:47

passed #122528
master
8a6281e3
fp
#44778 by iris-dev's avatar build build-iris.dev

00:30:56

passed #122478
master
8a6281e3
fp
#44755 by iris-dev's avatar build build-iris.dev

00:29:39

passed #122401
master
8a6281e3
fp
#44709 by Rodolphe Lepigre's avatar build check-generated

00:05:00

passed #122400
master
8a6281e3
fp-timing
#44709 by Rodolphe Lepigre's avatar build build-coq.8.12.0-timing

00:15:29

passed #122362
master
3722288d
fp
#44700 by iris-dev's avatar build build-iris.dev

00:32:08

passed #122332
ci/refactoring
8a6281e3
fp
#44676 by Rodolphe Lepigre's avatar build check-generated

00:06:38

passed #122331
ci/refactoring
8a6281e3
fp
#44676 by Rodolphe Lepigre's avatar build build-coq.8.12.0

00:19:38

passed #122330
ci/refactoring
f463b946
fp
#44675 by Rodolphe Lepigre's avatar build check-generated

00:05:05

passed #122329
ci/refactoring
f463b946
fp
#44675 by Rodolphe Lepigre's avatar build build-coq.8.12.0

00:21:12

passed #122328
ci/bitvec
c52e9aaa
fp
#44674 by Fengmin Zhu's avatar build check-generated

00:05:09

passed #122327
ci/bitvec
c52e9aaa
fp
#44674 by Fengmin Zhu's avatar build build-coq.8.12.0

00:18:19

passed #122323
ci/ptrfrag
24a1d9b2
fp
#44671 by Rodolphe Lepigre's avatar build check-generated

00:05:27

passed #122322
ci/ptrfrag
24a1d9b2
fp
#44671 by Rodolphe Lepigre's avatar build build-coq.8.12.0

00:23:58

passed #122321
ci/ptrfrag
9f7e4d19
fp
#44670 by Rodolphe Lepigre's avatar build check-generated

00:05:20

passed #122320
ci/ptrfrag
9f7e4d19
fp
#44670 by Rodolphe Lepigre's avatar build build-coq.8.12.0

00:23:05

passed #122306
master
3722288d
fp
#44664 by Michael Sammler's avatar build check-generated

00:05:22

passed #122305
master
3722288d
fp-timing
#44664 by Michael Sammler's avatar build build-coq.8.12.0-timing

00:16:35

passed #122304
ci/switch_base
3722288d
fp
#44663 by Michael Sammler's avatar build check-generated

00:05:01

passed #122303
ci/switch_base
3722288d
fp
#44663 by Michael Sammler's avatar build build-coq.8.12.0

00:16:57

passed #122268
master
ebf59ae4
fp
#44654 by iris-dev's avatar build build-iris.dev

00:31:19

passed #122142
ci/bitvec
3fe1d5ac
fp
#44624 by Fengmin Zhu's avatar build check-generated

00:04:56