Run pre-commit in GitHub Actions#72
Merged
joshuadavidthomas merged 6 commits intojoshuadavidthomas:mainfrom Mar 10, 2025
serl:pre-commit-in-gh-actions
Merged
Run pre-commit in GitHub Actions#72joshuadavidthomas merged 6 commits intojoshuadavidthomas:mainfrom serl:pre-commit-in-gh-actions
joshuadavidthomas merged 6 commits intojoshuadavidthomas:mainfrom
serl:pre-commit-in-gh-actions
Commits
Commits on Feb 19, 2025
- committed
- committed
- committed
- committed
- committed
- committed
