This repository has been archived by the owner on Dec 10, 2024. It is now read-only.
CI: explicity execute pre-commit in CI on PRs#47
Merged
iopapamanoglou merged 2 commits intomainfrom mawildoer/pre-commit-in-ciSep 9, 2024
+26-1
