Add lint.sh script (#1122)

pull/1123/head^2
Gulshan Singh 3 years ago committed by GitHub
parent 77380eb63c
commit bbf1397a2b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -27,7 +27,4 @@ jobs:
- name: Run linters
run: |
git diff-index --quiet HEAD -- pwndbg tests
isort --check-only --diff pwndbg tests
black --diff --check pwndbg tests
flake8 --show-source pwndbg/ tests
python3 -m py_compile $(git ls-files 'pwndbg/*.py')
./lint.sh

@ -0,0 +1,8 @@
#!/bin/bash
set -o xtrace
set -o errexit
isort --check-only --diff pwndbg tests
black --diff --check pwndbg tests
flake8 --show-source pwndbg tests
Loading…
Cancel
Save