aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/pre-commit.yml
AgeCommit message (Expand)Author
2024-03-18github: Do not duplicate pull request workflow runsJan Sucan
2024-01-14github: Add initial pre-commit workflowJan Sucan