aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/linters.yml
Commit message (Expand)AuthorAgeFilesLines
* Add pylint to GitHub ActionsMario Trangoni2021-02-071-0/+21
* Add linter referencesMario Trangoni2021-02-071-0/+4
* linters: Enable shellcheckMario Trangoni2021-02-061-1/+1
* Move PVS run to GitHub ActionsMario Trangoni2021-02-061-4/+58
* Add shellcheck and cppcheck lintersMario Trangoni2021-02-061-0/+47