4
34%
develop: 34%

Ran 28 Sep 2023 05:00PM UTC

Files 686

Run time 18s

Badge

Committed 27 Sep 2023 09:48AM UTC coverage: 29.051% (+0.005%) from 29.046%

Job # 539.4

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

18096 of 62290 relevant lines covered (29.05%)

6504.96 hits per line