Repository navigation

chore(deps-dev): update ty from 0.0.82 to 0.0.95 - #77

Open

github-actions[bot] wants to merge 9 commits into

mainfrom

chore-deps-update-ty-0.0.95

Open

chore(deps-dev): update ty from 0.0.82 to 0.0.95#77
github-actions[bot] wants to merge 9 commits into
mainfrom
chore-deps-update-ty-0.0.95

Commits on Nov 1, 2026
- chore(deps-dev): update ty from 0.0.82 to 0.0.95
  
  Panadestein
  authored and
  github-actions[bot]
  committed
  2d47bc1
Commits on Nov 7, 2026
- Merge branch 'main' into chore-deps-update-ty-0.0.95
  Panadestein
  authored
  cbcd2fa
Commits on Nov 8, 2026
- Merge branch 'main' into chore-deps-update-ty-0.0.95
  Panadestein
  committed
  75abc3d
- fix: 🏷️ annotate context managers as Generator for ty 0.0.95
  
  Panadestein
  and
  Copilot
  committed
  f7929eb
- chore: 🔁 retrigger CI after transient prek download failure
  
  Panadestein
  and
  Copilot
  committed
  7fb062e
- ci: 👷 run prek from PyPI via uvx in lint workflow
  
  Panadestein
  and
  Copilot
  committed
  7b54904
- chore: 🔁 retrigger CI after transient GitHub download 504s
  
  Panadestein
  and
  Copilot
  committed
  5ba7abd
- ci: 👷 avoid downloading Python in the lint workflow
  
  Panadestein
  and
  Copilot
  committed
  37ab100
- ci: 👷 install Python with setup-python and use it in the lint workflow
  
  Panadestein
  and
  Copilot
  committed
  20db88a