MinaProtocol / mina

61%

develop: 36%

LAST BUILD ON BRANCH georgeee/proof-level-no_check

branch: georgeee/proof-level-no_check

CHANGE BRANCH

x

Reset

• georgeee/proof-level-no_check
• compatible
• master
• develop
• martin/force-config-to-toplevel
• dkijania/fix_compatible_ci
• sai/fix-nightly
• sai/fix-deb-naming
• release/3.0.2
• fix-compatible-nightlies-09-20
• sai/georgeee/proof-level-no_check
• volhovm/arkworks024-regression-tests
• al/transition-router
• al/block-producer
• martin/merge-compatible
• dkijania/remove_fuzzer_from_pr
• dkijania/remove_fuzzer_from_pr_dev
• martin/develop/remove-phantom-config
• martin/unify-json-config-loading
• sai/bitswaplibp2p
• sai/bitswap-gossip-net
• martin/create-constants-loader-part-1
• dkijania/introduce_rosetta_mainnet
• al/snark-work
• dkijania/build_rosetta_mainnet_3_0_2
• rosetta-integration-timeout
• feature/remove-arbitrary-30s-wait-for-integration-test
• dkijania/support_for_influx_in_ci
• merge-back-to-develop-2024-1015
• dkijania/retire_mina_side_car
• dkijania/optimize_memory_consumption_on_bootstrap
• hetzner-agent
• release/3.0.3
• al/snark-work-graphql
• georgeee/use-network_id-from-runtime-config
• martin/remove-constants-node-config
• dkijania/add-coverage-for-replayer-test
• dkijania/port_remove_fuzzy_zkapp_from_ci_comp
• dkijania/port_remove_fuzzy_zkapp_from_ci
• dkijania/merge/compatible_to_develop_11_11_24
• dkijania/port_new_deb_s3_dev
• dkijania/remove_publish_job_from_pr
• dkijania/remove_publish_job_from_pr_dev
• dkijania/merge/master_to_compatible_15_11_24
• dkijania/merge/compatible_to_develop_16_11_24
• martin/provide-full-rt-config-to-graphql
• dkijania/sign_apt_debians
• dkijania/remove_terraform_files_comp
• dkijania/remove_terraform_files_dev
• dkijania/fix_rosetta_start_issue_comp
• volhovm/rename-pickles-vars
• release/3.0.4
• dkijania/merge/compatible_to_develop_21_11_24
• fabrizio-m/wide-merkle-queries
• dkijania/update_sample_db
• dkijania/enable_ci_for_forks
• dkijania/implement_test_ledger_apply_dev
• fix/audit-shape
• fix/shape-audit
• amc-ie-cherrypick-config-logging
• dkijania/support_ci_run_on_forks
• lsr/docker-agent

Build # 2624

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}

Run Details

3 of 21 new or added lines in 10 files covered. (14.29%)

47177 of 77206 relevant lines covered (61.11%)

562701.07 hits per line