Skip to content

merge queue: embarking main (674d723) and #1496 together#1497

Closed
mergify[bot] wants to merge 2 commits intomainfrom
mergify/merge-queue/6fd8393513
Closed

merge queue: embarking main (674d723) and #1496 together#1497
mergify[bot] wants to merge 2 commits intomainfrom
mergify/merge-queue/6fd8393513

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Mar 17, 2026

🎉 This pull request has been checked successfully and will be merged soon. 🎉

Branch main (674d723) and #1496 are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of #1496.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue default for merge:

Required conditions to stay in the queue:

---
checking_base_sha: 674d7237692f51e22179352d62d2b10ae639b3aa
previous_failed_batches: []
pull_requests:
  - number: 1496
...

@github-actions
Copy link

⚠️ Deprecation Warning: The deny-licenses option is deprecated for possible removal in the next major release. For more information, see issue 997.

Dependency Review

✅ No vulnerabilities or license issues or OpenSSF Scorecard issues found.

Scanned Files

None

@mergify mergify bot closed this Mar 17, 2026
@github-project-automation github-project-automation bot moved this from New to Done in Issues and PRs Mar 17, 2026
@mergify mergify bot deleted the mergify/merge-queue/6fd8393513 branch March 17, 2026 09:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants