aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/lint.yml.bkp
AgeCommit message (Collapse)AuthorFilesLines
2021-09-20Stop doing lint in CI.John MacFarlane1-0/+33
The script failed for reasons I can't determine. For now, we disable it.