Skip to content

merge queue: embarking main (e40078d) and [#184 + #185] together#186

Merged
mergify[bot] merged 4 commits into
mainfrom
mergify/merge-queue/f5d93049a7
Jul 4, 2025
Merged

merge queue: embarking main (e40078d) and [#184 + #185] together#186
mergify[bot] merged 4 commits into
mainfrom
mergify/merge-queue/f5d93049a7

Conversation

@mergify

@mergify mergify Bot commented Jul 4, 2025

Copy link
Copy Markdown
Contributor

🎉 This combination of pull requests has been checked successfully and will be merged soon. 🎉

Branch main (e40078d) and [#184 + #185] are embarked together for merge.

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

Required conditions of queue lowprio for merge:

Required conditions to stay in the queue:

---
previous_failed_batches: []
pull_requests:
  - number: 184
  - number: 185
...

dependabot Bot and others added 4 commits July 4, 2025 08:13
Bumps [semgrep](https://github.com/returntocorp/semgrep) from 1.127.1 to 1.128.0.
- [Release notes](https://github.com/returntocorp/semgrep/releases)
- [Changelog](https://github.com/semgrep/semgrep/blob/develop/CHANGELOG.md)
- [Commits](https://github.com/returntocorp/semgrep/commits/v1.128.0)

---
updated-dependencies:
- dependency-name: semgrep
  dependency-version: 1.128.0
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Bumps [ruff](https://github.com/astral-sh/ruff) from 0.12.1 to 0.12.2.
- [Release notes](https://github.com/astral-sh/ruff/releases)
- [Changelog](https://github.com/astral-sh/ruff/blob/main/CHANGELOG.md)
- [Commits](astral-sh/ruff@0.12.1...0.12.2)

---
updated-dependencies:
- dependency-name: ruff
  dependency-version: 0.12.2
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
@mergify
mergify Bot merged commit 65fec30 into main Jul 4, 2025
5 checks passed
@mergify
mergify Bot deleted the mergify/merge-queue/f5d93049a7 branch July 4, 2025 08:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

0 participants