7
34%
develop: 34%

Ran 28 Sep 2023 05:00PM UTC

Files 518

Run time 12s

Badge

Committed 27 Sep 2023 09:48AM UTC coverage: 43.082% (+0.1%) from 42.934%

Job # 539.7

Build Type

push

buildkite

Committed by

Commit Message

Merge pull request #14198 from MinaProtocol/volhovm/13901-pickles-types

[#13901] Implement accessors via derive_ppx

Coverage Stats

13820 of 32078 relevant lines covered (43.08%)

239140.14 hits per line