Skip to content

chore: Bump Ruff to v0.16 - #184

Merged
edgarrmondragon merged 1 commit into
mainfrom
ruff-0.16
Jul 23, 2026
Merged

chore: Bump Ruff to v0.16#184
edgarrmondragon merged 1 commit into
mainfrom
ruff-0.16

Conversation

@edgarrmondragon

Copy link
Copy Markdown

SSIA

@edgarrmondragon edgarrmondragon self-assigned this Jul 21, 2026
@read-the-docs-community

read-the-docs-community Bot commented Jul 21, 2026

Copy link
Copy Markdown

Documentation build overview

📚 backoff | 🛠️ Build #33732373 | 📁 Comparing 0b27eda against latest (a909681)

  🔍 Preview build  

2 files changed
± user-guide/async.html
± user-guide/configuration.html

Signed-off-by: Edgar Ramírez Mondragón <edgarrm358@gmail.com>

style: pre-commit fixes
Signed-off-by: Edgar Ramírez Mondragón <edgarrm358@gmail.com>
@edgarrmondragon
edgarrmondragon marked this pull request as ready for review July 23, 2026 20:31
@edgarrmondragon
edgarrmondragon added this pull request to the merge queue Jul 23, 2026
@edgarrmondragon
edgarrmondragon removed this pull request from the merge queue due to a manual request Jul 23, 2026
@edgarrmondragon edgarrmondragon changed the title chore: Prepare for Ruff v0.16 chore: Bump Ruff to v0.16 Jul 23, 2026
@edgarrmondragon
edgarrmondragon added this pull request to the merge queue Jul 23, 2026
Merged via the queue into main with commit 6ce2066 Jul 23, 2026
20 checks passed
@edgarrmondragon
edgarrmondragon deleted the ruff-0.16 branch July 23, 2026 20:34
@edgarrmondragon edgarrmondragon added chore Maintenance task internal Internal change with no user-facing impact and removed chore Maintenance task labels Aug 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal Internal change with no user-facing impact

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant