Repository navigation

chore(deps-dev): update ruff from 0.17.0 to 0.17.3 - #76

Open

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

mainfrom

chore-deps-update-ruff-0.17.3

Open

chore(deps-dev): update ruff from 0.17.0 to 0.17.3#76
github-actions[bot] wants to merge 10 commits into
mainfrom
chore-deps-update-ruff-0.17.3

Commits on Nov 1, 2026
- chore(deps-dev): update ruff from 0.17.0 to 0.17.3
  
  Panadestein
  authored and
  github-actions[bot]
  committed
  6d47b03
Commits on Nov 7, 2026
- Merge branch 'main' into chore-deps-update-ruff-0.17.3
  Panadestein
  authored
  e946b39
- Merge branch 'main' into chore-deps-update-ruff-0.17.3
  Panadestein
  authored
  c399c8f
Commits on Nov 8, 2026
- chore(deps-dev): 🔒 refresh uv.lock for ruff 0.17.3
  
  Panadestein
  and
  Copilot
  committed
  131928e
- chore: 🔁 retrigger CI after transient prek download failure
  
  Panadestein
  and
  Copilot
  committed
  696e705
- ci: 👷 pin prek to 0.5.9 in lint workflow
  
  Panadestein
  and
  Copilot
  committed
  33a84b3
- ci: 👷 run prek from PyPI via uvx in lint workflow
  
  Panadestein
  and
  Copilot
  committed
  eaeb3af
- ci: 👷 avoid downloading Python in the lint workflow
  
  Panadestein
  and
  Copilot
  committed
  ab0cec6
- ci: 👷 install Python with setup-python in the lint workflow
  
  Panadestein
  and
  Copilot
  committed
  d65802d
- ci: 👷 make uv use the system Python in the lint workflow
  
  Panadestein
  and
  Copilot
  committed
  43f8776