Move lint

corona10 · Aug 18, 2023 · 42ed502 · 42ed502
1 parent 6c89a68
commit 42ed502
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -20,3 +20,5 @@ jobs:
         with:
           python-version: "3.x"
       - uses: pre-commit/[email protected]
+      - run: pip install black
+      - run: black Tools/cases_generator
diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml
@@ -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
diff --git a/Tools/requirements-dev.txt b/Tools/requirements-dev.txt
@@ -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