Skip to content

amzn/2/x86_64 update on 2026-05-18#173

Closed
dd-btfhub-ebpf-platform[bot] wants to merge 1 commit into
mainfrom
amzn/2/x86_64/2026-05-18T02-05-45
Closed

amzn/2/x86_64 update on 2026-05-18#173
dd-btfhub-ebpf-platform[bot] wants to merge 1 commit into
mainfrom
amzn/2/x86_64/2026-05-18T02-05-45

Conversation

@dd-btfhub-ebpf-platform

Copy link
Copy Markdown
Contributor

No description provided.

@dd-btfhub-ebpf-platform dd-btfhub-ebpf-platform Bot requested a review from a team as a code owner May 18, 2026 02:05
@dd-prapprover

dd-prapprover Bot commented May 18, 2026

Copy link
Copy Markdown

PRApprover will approve and merge this PR, FAQ, #dx-source-code-management

🛠️ PRApproval Status

  • ✅ PR is eligible for auto-approval by rule btfhub-archive - 2026-05-18T02:06:03Z
  • ✅ CI tests passed - 2026-05-18T02:10:49Z
  • ✅ Approved (commit: 3e48591) - 2026-05-18T02:10:51Z
  • ✅ Merge Started
  • ⬜ Merged

➡️ Current phase: merge in progress...

@dd-prapprover dd-prapprover Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

This PR has been automatically approved by the DD PR Approver bot.

@dd-prapprover

dd-prapprover Bot commented May 18, 2026

Copy link
Copy Markdown

/merge

@gh-worker-devflow-routing-ef8351

gh-worker-devflow-routing-ef8351 Bot commented May 18, 2026

Copy link
Copy Markdown

View all feedbacks in Devflow UI.

2026-05-18 02:10:59 UTC ℹ️ Start processing command /merge


2026-05-18 02:11:05 UTC ℹ️ MergeQueue: waiting for PR to be ready

This pull request is not mergeable according to GitHub. Common reasons include pending required checks, missing approvals, or merge conflicts — but it could also be blocked by other repository rules or settings.
It will be added to the queue as soon as checks pass and/or get approvals. View in MergeQueue UI.
Note: if you pushed new commits since the last approval, you may need additional approval.
You can remove it from the waiting list with /remove command.


2026-05-18 06:14:09 UTC ⚠️ MergeQueue: This merge request was unqueued

devflow unqueued this merge request: It did not become mergeable within the expected time

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant