Skip to content

ci: repo hygiene — ruff-format, delete dead automation, defang renovate#21

Merged
florianhorner merged 3 commits into
mainfrom
florianhorner/ci-hygiene
Jun 2, 2026
Merged

ci: repo hygiene — ruff-format, delete dead automation, defang renovate#21
florianhorner merged 3 commits into
mainfrom
florianhorner/ci-hygiene

Commits

Commits on Jun 2, 2026