Skip to content

merge queue: checking main (8674b2f) and #51940 together#51945

Closed
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/ebc09af926
Closed

merge queue: checking main (8674b2f) and #51940 together#51945
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/ebc09af926

Conversation

@mergify

@mergify mergify Bot commented Jul 14, 2026

Copy link
Copy Markdown
Contributor

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

Branch main (8674b2f) and #51940 are queued together for merge.

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

Required conditions of queue rule default for merge:

Required conditions to stay in the queue:

---
checking_base_sha: 8674b2f08772e7f4e786c9bd79a2cfd99868132a
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 51940
    scopes: []
scopes: []
...

swiatekm and others added 2 commits July 14, 2026 18:28
Beat receivers need a longer timeout than the default 1s, as it needs to
exceed the batcher flush timeout. The current code gives the impression
of this already happening, but in reality, if the beater handles
pipeline shutdown on its own, the default timeout wins.
@github-actions

Copy link
Copy Markdown
Contributor

🤖 GitHub comments

Just comment with:

  • run docs-build : Re-trigger the docs validation. (use unformatted text in the comment!)
  • /test : Run the Buildkite pipeline.

@botelastic botelastic Bot added the needs_team Indicates that the issue/PR needs a Team:* label label Jul 14, 2026
@botelastic

botelastic Bot commented Jul 14, 2026

Copy link
Copy Markdown

This pull request doesn't have a Team:<team> label.

@mergify mergify Bot closed this Jul 14, 2026
@mergify mergify Bot deleted the mergify/merge-queue/ebc09af926 branch July 14, 2026 22:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs_team Indicates that the issue/PR needs a Team:* label

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant