Skip to content

merge queue: embarking 7.17 (f272b10) and #19421 together#19422

Closed
mergify[bot] wants to merge 2 commits into7.17from
mergify/merge-queue/79c7e97961
Closed

merge queue: embarking 7.17 (f272b10) and #19421 together#19422
mergify[bot] wants to merge 2 commits into7.17from
mergify/merge-queue/79c7e97961

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify bot commented Nov 3, 2025 •
edited
Loading

✨ Pull request #19421 which was ahead in the queue has been dequeued (for the following reason: pull request merged manually). ✨

Branch 7.17 (f272b10) and #19421 are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of #19421.
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: f272b1054276d86055590d734d7211b91fa2e179
previous_failed_batches: []
pull_requests:
  - number: 19421
...

@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Nov 3, 2025

🤖 GitHub comments

Just comment with:

  • run docs-build : Re-trigger the docs validation. (use unformatted text in the comment!)

@mergify mergify bot closed this Nov 3, 2025
@mergify mergify bot deleted the mergify/merge-queue/79c7e97961 branch November 3, 2025 15:40
@elasticmachine
Copy link
Copy Markdown
Collaborator

elasticmachine commented Nov 3, 2025

💚 Build Succeeded

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

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@elasticmachine