Skip to content

merge queue: queuing 9.3 (b6e375e) and #21213 together#21254

Closed
mergify[bot] wants to merge 2 commits into
9.3from
mergify/merge-queue/5454d8251d
Closed

merge queue: queuing 9.3 (b6e375e) and #21213 together#21254
mergify[bot] wants to merge 2 commits into
9.3from
mergify/merge-queue/5454d8251d

Conversation

@mergify

@mergify mergify Bot commented Jun 24, 2026

Copy link
Copy Markdown
Contributor

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

Branch 9.3 (b6e375e) and #21213 are queued together for merge.

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

endorama and others added 2 commits June 16, 2026 13:54
* add min docs to estest.ExpectSourcemapError

* fix flaky test

We were not waiting long enough, thus the test were sometimes looking
at too few documents.

* fix fmt

(cherry picked from commit c0bd5c1)
@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!)

@prodsecmachine

prodsecmachine commented Jun 24, 2026

Copy link
Copy Markdown

Snyk checks have passed. No issues have been found so far.

Status Scan Engine Critical High Medium Low Total (0)
Open Source Security 0 0 0 0 0 issues
Licenses 0 0 0 0 0 issues

💻 Catch issues earlier using the plugins for VS Code, JetBrains IDEs, Visual Studio, and Eclipse.

@mergify mergify Bot closed this Jun 24, 2026
@mergify mergify Bot deleted the mergify/merge-queue/5454d8251d branch June 24, 2026 10:36
@infra-vault-gh-plugin-prod

Copy link
Copy Markdown

💚 Build Succeeded

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants