Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Sep 26, 2025

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

Branch master (2e309f3) and #1937 are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of #1937.
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:

  • status-success=test (3.12, 22, lint)
  • status-success=test (3.12, 22, py3-cov)
  • any of [🛡 GitHub branch protection]:
    • check-neutral = test (3.12, 22, lint)
    • check-skipped = test (3.12, 22, lint)
    • check-success = test (3.12, 22, lint)
  • any of [🛡 GitHub branch protection]:
    • check-neutral = test (3.12, 22, py3-cov)
    • check-skipped = test (3.12, 22, py3-cov)
    • check-success = test (3.12, 22, py3-cov)

Required conditions to stay in the queue:

---
checking_base_sha: 2e309f38336b794407fd521d02a0b62b1ca18759
previous_failed_batches: []
pull_requests:
  - number: 1937
...

dependabot bot and others added 2 commits September 26, 2025 16:09
Bumps [pre-commit](https://github.com/pre-commit/pre-commit) from 4.2.0 to 4.3.0.
- [Release notes](https://github.com/pre-commit/pre-commit/releases)
- [Changelog](https://github.com/pre-commit/pre-commit/blob/main/CHANGELOG.md)
- [Commits](pre-commit/pre-commit@v4.2.0...v4.3.0)

---
updated-dependencies:
- dependency-name: pre-commit
  dependency-version: 4.3.0
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>
@mergify mergify bot closed this Sep 26, 2025
@mergify mergify bot deleted the mergify/merge-queue/01f191ec42 branch September 26, 2025 16:28
@coveralls
Copy link

Coverage Status

coverage: 96.169%. remained the same
when pulling 61d1066 on mergify/merge-queue/01f191ec42
into 2e309f3 on master.

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