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.

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

merge compatible to develop 13 01 25 #16462

Open
wants to merge 79 commits into
base: develop
Choose a base branch
from

Conversation

dkijania
Copy link
Member

merge compatible to develop 13 01 25

georgeee and others added 30 commits December 5, 2024 11:32
…-constants-pickles-compile

Remove now-unnecessary `Pickles.compile` parameter `~constraint_constants`
…t_constants-from-currency_consumed

Remove constraint_constants from currency_consumed
…d-snarky-typ

Simplify snarky `Typ.t`, removing unnecessary type parameters
…in_disk_caching_stats

Print key sizes in disk_caching_stats
dannywillems and others added 20 commits January 8, 2025 10:29
…-cfg-loading

removing compile time config load logging from cli
…y had issues with printing out junky log on output
Specialize pickles types instead of using snarky's `Cvar.t`s
…ignore-warning

Pickles_base: remove ignored warning 40-42
…ansaction_pool_tests"

This reverts commit 40c86e2, reversing
changes made to de1f5e0.
…ests_refactoring

Revert transaction pool reorganization
…i_tests

add e2e tests for mina cli (unexpected log output)
…or-real

Generalize pickles and snarky utils over field variable type
@dkijania dkijania self-assigned this Jan 13, 2025
@dkijania dkijania marked this pull request as ready for review January 13, 2025 15:53
@dkijania dkijania requested review from a team as code owners January 13, 2025 15:53
@dkijania
Copy link
Member Author

!ci-build-me

@dkijania
Copy link
Member Author

!ci-nightly-me

@coveralls
Copy link

Coverage Status

coverage: 36.146% (-24.4%) from 60.578%
when pulling 637cc0c on dkijania/merge/compatible_to_develop_13_01_25
into a0a2adf on develop.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants