summaryrefslogtreecommitdiff
path: root/.github/workflows/lint.yml
AgeCommit message (Collapse)Author
2021-09-20Stop doing lint in CI.John MacFarlane
The script failed for reasons I can't determine. For now, we disable it.
2020-12-18Improve check target to test data/ too.John MacFarlane
2020-12-18Remove checkdocs from lint ci.John MacFarlane
2020-12-18Move sanity checks to lint ci.John MacFarlane
2020-11-07Lint code in PRs and when committing to master (#6790)Albert Krewinkel
* Remove unused LANGUAGE pragmata * Apply HLint suggestions * Configure HLint to ignore some warnings * Lint code when committing to master