[Bug] Merge Queue, PR passed checks, commit merged in, but PR remains open with no noticed of merge activity.

[AmyBernhoft]

Select Topic Area

Bug / Merge Queue / Issue

Body

Today we had a PR enter the merge queue and it pass all required status checks. There is no notice of the PR merging nor being kicked from the queue. The PR remains open, however, we can see the commit in our main branch. Looking at what I can see, I found the enqueued event, but cannot find the dequeued event for this PR. We now have a merged PR that is still open.

This happened 12/3/2024 11:09am PST. I am checking other commits from today, to see if any other PRs had this experience.

[github-actions[bot]]

🕒 Discussion Activity Reminder 🕒

This Discussion has been labeled as dormant by an automated system for having no activity in the last 60 days. Please consider one the following actions:

1️⃣ Close as Out of Date: If the topic is no longer relevant, close the Discussion as out of date at the bottom of the page.

2️⃣ Provide More Information: Share additional details or context — or let the community know if you've found a solution on your own.

3️⃣ Mark a Reply as Answer: If your question has been answered by a reply, mark the most helpful reply as the solution.

Note: This dormant notification will only apply to Discussions with the Question label. To learn more, see our recent announcement.

Thank you for helping bring this Discussion to a resolution! 💬