Skip to content

merge queue: checking main (edd41d3) and #231 together#232

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

merge queue: checking main (edd41d3) and #231 together#232
mergify[bot] wants to merge 2 commits into
mainfrom
mergify/merge-queue/beeb7b46ac

Conversation

@mergify

@mergify mergify Bot commented Jul 17, 2026

Copy link
Copy Markdown
Contributor

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

Branch main (edd41d3) and #231 are queued together for merge.

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

Required conditions of queue rule dependabot for merge:

Required conditions to stay in the queue:

---
checking_base_sha: edd41d305396fa4fbaa044e5f9de381c76b189b0
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 231
    scopes: []
scopes: []
...

dependabot Bot and others added 2 commits July 17, 2026 06:55
Bumps [dtolnay/rust-toolchain](https://github.com/dtolnay/rust-toolchain) from fa04a1451ff1842e2626ccb99004d0195b455a88 to 2c7215f132e9ebf062739d9130488b56d53c060c.
- [Release notes](https://github.com/dtolnay/rust-toolchain/releases)
- [Commits](dtolnay/rust-toolchain@fa04a14...2c7215f)

---
updated-dependencies:
- dependency-name: dtolnay/rust-toolchain
  dependency-version: 2c7215f132e9ebf062739d9130488b56d53c060c
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
@codecov

codecov Bot commented Jul 17, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@mergify mergify Bot closed this Jul 17, 2026
@mergify
mergify Bot deleted the mergify/merge-queue/beeb7b46ac branch July 17, 2026 07:22
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.

0 participants