3 Pull requests merged by 2 people

• [pre-commit.ci] pre-commit autoupdate

  #2202 merged Jul 21, 2025

• Bump furo from 2024.8.6 to 2025.7.19

  #2201 merged Jul 21, 2025

• Bump ruff from 0.12.3 to 0.12.4

  #2199 merged Jul 18, 2025

2 Pull requests opened by 1 person

• Bump mypy from 1.15.0 to 1.17.0

  #2197 opened Jul 15, 2025

• Bump hypothesis from 6.135.13 to 6.136.1

  #2200 opened Jul 21, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Update plugin to support mypy 1.16.0

  #2149 commented on Jul 18, 2025 • 0 new comments