Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rename constructor Proof_level.{None -> No_check} #16105

Open
wants to merge 3 commits into
base: compatible
Choose a base branch
from
Open

Rename constructor Proof_level.{None -> No_check} #16105

wants to merge 3 commits into from

Commits on Sep 21, 2024

  1. 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.
    @georgeee
    georgeee committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    4187785 View commit details
    Browse the repository at this point in the history

  2. lightnet tagging in docker helper script

    @svv232 @georgeee
    svv232 authored and georgeee committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    c3353c2 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #16106 from MinaProtocol/sai/georgeee/proof-level-… 

    …no_check

lightnet tagging to proof level none fix
    @georgeee
    georgeee committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    c830b2d View commit details
    Browse the repository at this point in the history