Skip to content

chore: pin ruff to 0.16.1 - #670

Merged
mergify[bot] merged 1 commit into
mainfrom
devs/jd/worktree-pin-ruff/pin-ruff-0-16-1--252d1eff
Aug 5, 2026
Merged

chore: pin ruff to 0.16.1#670
mergify[bot] merged 1 commit into
mainfrom
devs/jd/worktree-pin-ruff/pin-ruff-0-16-1--252d1eff

chore: pin ruff to 0.16.1

80d1013
Select commit
Loading
Failed to load commit list.
Mergify / Summary succeeded Aug 5, 2026 in 1s

1 rule matches

⚠️ The pull request has been closed by GitHub because its commits are also part of another pull request

✅ Rule: dismiss reviews (dismiss_reviews)


Mergify commands and options

More conditions and actions can be found in the documentation.

You can also trigger Mergify actions by commenting on this pull request:

  • @Mergifyio refresh will re-evaluate the rules
  • @Mergifyio rebase will rebase this PR on its base branch
  • @Mergifyio update will merge the base branch into this PR
  • @Mergifyio backport <destination> will backport this PR on <destination> branch

Additionally, on Mergify dashboard you can:

  • look at your merge queues
  • generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com