3 Pull requests merged by 3 people

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

  #2182 merged Jun 30, 2025

• Bump ruff from 0.12.0 to 0.12.1

  #2180 merged Jun 27, 2025

• Add conversion to bool for Maybe

  #2178 merged Jun 27, 2025

1 Pull request opened by 1 person

• Bump hypothesis from 6.135.13 to 6.135.17

  #2181 opened Jun 30, 2025

1 Issue closed by 1 person

• Feature request: add bool conversion to `Maybe`

  #2177 closed Jun 27, 2025