Skip to content

Conversation

dckc
Copy link
Member

@dckc dckc commented Sep 25, 2025

Description

Security / Scaling / Upgrade Considerations

pure refactor; no runtime impact

Documentation / Testing Considerations

clarifies boundaries of contract a bit

@dckc dckc self-assigned this Sep 25, 2025
Copy link

cloudflare-workers-and-pages bot commented Sep 26, 2025

Deploying agoric-sdk with  Cloudflare Pages  Cloudflare Pages

Latest commit: f88d63f
Status: ✅  Deploy successful!
Preview URL: https://f5f2a75d.agoric-sdk.pages.dev
Branch Preview URL: https://dc-mv-plan-tools.agoric-sdk.pages.dev

View logs

@dckc dckc marked this pull request as ready for review September 26, 2025 05:10
@dckc dckc requested a review from a team as a code owner September 26, 2025 05:10
@dckc dckc added automerge:rebase Automatically rebase updates, then merge bypass:integration Prevent integration tests from running on PR labels Sep 26, 2025
@mergify mergify bot added the queued label Sep 26, 2025
mergify bot added a commit that referenced this pull request Sep 26, 2025
mergify bot added a commit that referenced this pull request Sep 26, 2025
@mergify mergify bot removed the queued label Sep 26, 2025
Copy link
Contributor

mergify bot commented Sep 26, 2025

This pull request has been removed from the queue for the following reason: pull request dequeued.

Pull request #11988 has been dequeued. Mergify failed to merge the pull request. GitHub can't merge the pull request after 15 retries.
Waiting for the branch protection required status checks to be validated.

You can check the last failing draft PR here: #12007.

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.
If you do update this pull request, it will automatically be requeued once the queue conditions match again.
If you think this was a flaky issue instead, you can requeue the pull request, without updating it, by posting a @mergifyio requeue comment.

@LuqiPan
Copy link
Contributor

LuqiPan commented Sep 26, 2025

@Mergifyio requeue

Copy link
Contributor

mergify bot commented Sep 26, 2025

requeue

✅ The queue state of this pull request has been cleaned. It can be re-embarked automatically

@mergify mergify bot added the queued label Sep 26, 2025
mergify bot added a commit that referenced this pull request Sep 26, 2025
@mergify mergify bot removed the queued label Sep 26, 2025
Copy link
Contributor

mergify bot commented Sep 26, 2025

This pull request has been removed from the queue for the following reason: pull request dequeued.

Pull request #11988 has been dequeued. Mergify failed to merge the pull request. GitHub can't merge the pull request after 15 retries.
Waiting for the branch protection required status checks to be validated.

You can check the last failing draft PR here: #12010.

You should look at the reason for the failure and decide if the pull request needs to be fixed or if you want to requeue it.
If you do update this pull request, it will automatically be requeued once the queue conditions match again.
If you think this was a flaky issue instead, you can requeue the pull request, without updating it, by posting a @mergifyio requeue comment.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automerge:rebase Automatically rebase updates, then merge bypass:integration Prevent integration tests from running on PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants