aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/pre-commit.yml
AgeCommit message (Expand)Author
2024-04-27github: Fix the main branch nameJan Sucan
2024-04-27github: User the CI docker image in workflowsJan Sucan
2024-03-18github: Do not duplicate pull request workflow runsJan Sucan
2024-01-14github: Add initial pre-commit workflowJan Sucan