-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
stage_bor_heimdall commits partial progress #12097
Conversation
hi. write a bit what is done by this PR (if it's preparation PR - "no functional changes" - it's also good). |
4930a9f
to
82895d1
Compare
description added. but not sure if the PR is to the point in terms of #11904. willing to make subsequent updates if get some comments, thank you. |
yes. it's required 1st step. merging it. but |
find several commits of main branch also fail is this a known issue? |
Yes. Merge “main” to fix |
Head branch was pushed to by a user without write access
978def8
to
3fe01c6
Compare
all checks passed, can merge now. |
after this PR, stage_bor_heimdall doesn't run in 1 transaction, thus can commit partial progress