35492
61%
develop: 48%

Ran 30 Sep 2024 10:06AM UTC

Jobs 0

Files 0

Run time –

Badge

Embed ▾

pending completion

Build # 35492

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

Source Files on build 35492

Detailed source file information is not available for this build.

MinaProtocol / mina / 35492
61%
develop: 48%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on build 35492

MinaProtocol / mina / 35492 61% develop: 48%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on build 35492

MinaProtocol / mina / 35492
61%
develop: 48%

README BADGES
x