summaryrefslogtreecommitdiff
path: root/.github/workflows/lint.yml
AgeCommit message (Expand)Author
2024-05-28Remove linter and precommitSanto Cariotti
2024-05-28ci: add lintSanto Cariotti