diff options
Diffstat (limited to '.github/workflows/mypy.yaml')
-rw-r--r-- | .github/workflows/mypy.yaml | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/.github/workflows/mypy.yaml b/.github/workflows/mypy.yaml deleted file mode 100644 index b0d0cdf..0000000 --- a/.github/workflows/mypy.yaml +++ /dev/null @@ -1,32 +0,0 @@ -name: mypy - -on: - push: - branches: - - main - pull_request: - types: - - opened - - synchronize - -defaults: - run: - shell: bash - -jobs: - ci: - runs-on: ubuntu-20.04 - steps: - # Checkout the code - - uses: actions/checkout@v2 - - uses: jpetrucciani/mypy-check@master - with: - requirements: 1.6.0 - python_version: 3.8 - path: 'python/runfiles' - - uses: jpetrucciani/mypy-check@master - with: - requirements: 1.6.0 - python_version: 3.8 - path: 'tests/runfiles' - |