ci: lint and commitlint in its own workflow#313
Merged
jginsburgn merged 4 commits intomasterfrom independent-lintingApr 11, 2022
Commits
Commits on Apr 4, 2022
- committedJonathan Ginsburg
- committedJonathan Ginsburg
- committedJonathan Ginsburg
Commits on Apr 6, 2022
- committedJonathan Ginsburg