Skip to content
Merged
Prev Previous commit
Next Next commit
Move lint
  • Loading branch information
corona10 committed Aug 18, 2023
commit 42ed5023fb937501039efb34c3af31654e57ca08
2 changes: 2 additions & 0 deletions .github/workflows/lint.yml
Original file line number Diff line number Diff line change
Expand Up @@ -20,3 +20,5 @@ jobs:
with:
python-version: "3.x"
- uses: pre-commit/[email protected]
- run: pip install black
- run: black Tools/cases_generator
2 changes: 0 additions & 2 deletions .github/workflows/mypy.yml
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,4 @@ jobs:
cache: pip
cache-dependency-path: Tools/requirements-dev.txt
- run: pip install -r Tools/requirements-dev.txt
- name: Lint with black
run: black Tools/cases_generator
- run: mypy --config-file Tools/cases_generator/mypy.ini
1 change: 0 additions & 1 deletion Tools/requirements-dev.txt
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
# Requirements file for external linters and checks we run on
# Tools/clinic and Tools/cases_generator/ in CI
mypy==1.5.1
black