| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-09-20 | Stop doing lint in CI. | John MacFarlane | |
| The script failed for reasons I can't determine. For now, we disable it. | |||
| 2020-12-18 | Improve check target to test data/ too. | John MacFarlane | |
| 2020-12-18 | Remove checkdocs from lint ci. | John MacFarlane | |
| 2020-12-18 | Move sanity checks to lint ci. | John MacFarlane | |
| 2020-11-07 | Lint 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 | |||
