diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index dd7fc578821b..7307b5283853 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -51,3 +51,17 @@ jobs: - name: Stop containers if: always() run: scripts/docker down + mypy: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + with: + submodules: recursive + - uses: actions/setup-python@v2 + with: + python-version: 3.9 + architecture: x64 + - name: Install mypy + run: pip install mypy + - name: Run mypy + run: mypy @mypy_typed_modules.txt diff --git a/.github/workflows/type-checking.yml b/.github/workflows/type-checking.yml deleted file mode 100644 index 261c3df2bb15..000000000000 --- a/.github/workflows/type-checking.yml +++ /dev/null @@ -1,22 +0,0 @@ -name: type-checking - -on: - push: - paths: - - '**.py' - -jobs: - mypy: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - with: - submodules: recursive - - uses: actions/setup-python@v2 - with: - python-version: 3.9 - architecture: x64 - - name: Install mypy - run: pip install mypy - - name: Run mypy - run: mypy @mypy_typed_modules.txt