diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml new file mode 100644 index 000000000..9b5e90368 --- /dev/null +++ b/.github/workflows/lint.yml @@ -0,0 +1,13 @@ +name: Run code linter + +on: [push, pull_request] + +jobs: + build: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - name: Install tools + run: sudo apt-get install -qqy flake8 shellcheck + - name: Run make lint + run: make lint diff --git a/scripts/travis/travis-tests b/scripts/travis/travis-tests index a9e99992f..45d97312f 100755 --- a/scripts/travis/travis-tests +++ b/scripts/travis/travis-tests @@ -119,8 +119,6 @@ time make CC="$CC" -j4 ./criu/criu -v4 cpuinfo dump || : ./criu/criu -v4 cpuinfo check || : -make lint - # Check that help output fits into 80 columns WIDTH=$(./criu/criu --help | wc --max-line-length) if [ "$WIDTH" -gt 80 ]; then