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

feat(blockifier): make ArchivalDataResource fields public #3824

Merged
merged 1 commit into from
Mar 2, 2025

Conversation

dorimedini-starkware
Copy link
Collaborator

No description provided.

@reviewable-StarkWare
Copy link

This change is Reviewable

Copy link

github-actions bot commented Jan 30, 2025

@dorimedini-starkware dorimedini-starkware changed the title feat(blockifier): add getters for private ArchivalDataResource fields feat(blockifier): make ArchivalDataResource fields public Jan 30, 2025
Copy link

github-actions bot commented Mar 2, 2025

There hasn't been any activity on this pull request recently, and in order to prioritize active work, it has been marked as stale.
This PR will be closed and locked in 7 days if no further activity occurs.
Thank you for your contributions!

@github-actions github-actions bot added the stale label Mar 2, 2025
Signed-off-by: Dori Medini <dori@starkware.co>
@dorimedini-starkware dorimedini-starkware changed the base branch from main-v0.13.4 to main-v0.13.5 March 2, 2025 08:30
@dorimedini-starkware dorimedini-starkware force-pushed the dori/data-resource-getters branch from b84c273 to 836159a Compare March 2, 2025 08:30
Copy link
Collaborator

@noaov1 noaov1 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm:

Reviewed 1 of 1 files at r1, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @dorimedini-starkware)

@dorimedini-starkware dorimedini-starkware merged commit a920c87 into main-v0.13.5 Mar 2, 2025
11 checks passed
@dorimedini-starkware dorimedini-starkware deleted the dori/data-resource-getters branch March 2, 2025 10:36
@github-actions github-actions bot locked and limited conversation to collaborators Mar 4, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants