Lean4-helper / .github /workflows

Commit History

Pin ruff to 0.15.14 and re-sort imports
01cdf65

p4r5kpftnp-cmd commited on

Add CI/CD: GitHub Actions workflow + ruff config
6cf7e7c

p4r5kpftnp-cmd commited on