aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/linters.yml
Commit message (Collapse)AuthorAgeFilesLines
* Add pylint to GitHub ActionsMario Trangoni2021-02-071-0/+21
| | | | Signed-off-by: Mario Trangoni <mjtrangoni@gmail.com>
* Add linter referencesMario Trangoni2021-02-071-0/+4
| | | | Signed-off-by: Mario Trangoni <mjtrangoni@gmail.com>
* linters: Enable shellcheckMario Trangoni2021-02-061-1/+1
| | | | | | This will be green after #1001 get merged. Signed-off-by: Mario Trangoni <mjtrangoni@gmail.com>
* Move PVS run to GitHub ActionsMario Trangoni2021-02-061-4/+58
| | | | Signed-off-by: Mario Trangoni <mjtrangoni@gmail.com>
* Add shellcheck and cppcheck lintersMario Trangoni2021-02-061-0/+47
Signed-off-by: Mario Trangoni <mjtrangoni@gmail.com>