Skip to content

[Develop] Port rosetta fix to develop #17220

Merged
dkijania merged 14 commits intodevelopfrom
dkijania/port_rosetta_fix_dev
May 19, 2025
Merged

[Develop] Port rosetta fix to develop #17220
dkijania merged 14 commits intodevelopfrom
dkijania/port_rosetta_fix_dev

Conversation

@dkijania
Copy link
Copy Markdown
Member

Port rosetta fix to develop #17209

@dkijania dkijania self-assigned this May 19, 2025
@dkijania dkijania requested a review from a team as a code owner May 19, 2025 09:49
@dkijania
Copy link
Copy Markdown
Member Author

!ci-build-me

@dkijania
Copy link
Copy Markdown
Member Author

!ci-nightly-me

@coveralls
Copy link
Copy Markdown

Coverage Status

coverage: 35.858% (-0.009%) from 35.867%
when pulling 4a1acc5 on dkijania/port_rosetta_fix_dev
into cd52995 on develop.

@dkijania
Copy link
Copy Markdown
Member Author

Nightly passed: https://buildkite.com/o-1-labs-2/mina-end-to-end-nightlies/builds/3656#0196e7fc-39fb-4ba3-a2b7-e64159918f14

Still there is observed an issue which is fixed by: #16704

@dkijania dkijania merged commit 6a13b24 into develop May 19, 2025
20 checks passed
@dkijania dkijania deleted the dkijania/port_rosetta_fix_dev branch May 19, 2025 17:50
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.

5 participants