Remove dependency from mina_numbers from compile config #15022
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
#14516 introduced a dependency on
mina_numbers
formina_compile_config
. This broke the build ofsrc/nonconsensus
(see https://buildkite.com/o-1-labs-2/mina-end-to-end-nightlies/builds/1273#018d686f-508b-4630-b49e-3dddd6ee9e7d).This PR removes that dependency by making the parameters
int
and delegation toruntime_config
the conversion toGlobal_slot.t
, as it happens already in other branches.