1
61%
develop: 48%

Ran 01 Oct 2024 01:03PM UTC

Files 817

Run time 21s

Badge

Embed ▾

Committed 30 Sep 2024 08:46AM UTC coverage: 23.284%. First build

Job # 2624.1

Build Type

Pull #16162

buildkite

Committed by

georgeee

Commit Message

Rename constructor Proof_level.{None -> No_check}

Using widely used None for name of constructor lead to an issue when
~proof_level parameter changed its type and compiler left it unnoticed.

Pull Request Pull Request #16162: Rename constructor Proof_level.{None -> No_check}

Coverage Stats

14729 of 63258 relevant lines covered (23.28%)

1927.44 hits per line

MinaProtocol / mina / 2624 / 1
61%
develop: 48%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job zkapp-tool-unit-test-dev - 2624.1

MinaProtocol / mina / 2624 / 1 61% develop: 48%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job zkapp-tool-unit-test-dev - 2624.1

MinaProtocol / mina / 2624 / 1
61%
develop: 48%

README BADGES
x