diff options
| author | capellancitizen <thecapellancitizen@gmail.com> | 2025-03-09 21:21:48 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-09 21:21:48 -0400 |
| commit | 99509df8d8abf1e7b701a4a09cf170a362f6d878 (patch) | |
| tree | a461549502fa9f37dc287789b6c7db81dfcd5368 /.github/workflows | |
| parent | 0d2fc24f25f87562f0755b53dad6204efad1330d (diff) | |
Mypy type correctness (#3199)
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yml | 54 |
1 files changed, 48 insertions, 6 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 7ecbffbb..de20b889 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -66,9 +66,16 @@ jobs: - shell: bash run: | bin/build-linux - - shell: bash + - name: Tests + shell: bash run: | pytest + - name: Mypy Type Checking + shell: bash + run: | + python -m pip install mypy + python -m mypy --output json | python .github/mypy-github-formatter + continue-on-error: true - shell: bash run: | make dist @@ -131,9 +138,16 @@ jobs: python -m pip install pyinstaller echo "${{ env.pythonLocation }}\bin" >> $GITHUB_PATH - - shell: bash + - name: Tests + shell: bash run: | pytest + - name: Mypy Type Checking + shell: bash + run: | + python -m pip install mypy + python -m mypy --output json | python .github/mypy-github-formatter + continue-on-error: true - shell: bash run: | make dist @@ -286,9 +300,16 @@ jobs: run: | SET BUILD32="1" bin\build-geos-win.cmd - - shell: bash + - name: Tests + shell: bash run: | pytest + - name: Mypy Type Checking + shell: bash + run: | + python -m pip install mypy + python -m mypy --output json | python .github/mypy-github-formatter + continue-on-error: true - shell: bash run: | make dist @@ -345,9 +366,16 @@ jobs: shell: cmd run: | bin\build-geos-win.cmd - - shell: bash + - name: Tests + shell: bash run: | pytest + - name: Mypy Type Checking + shell: bash + run: | + python -m pip install mypy + python -m mypy --output json | python .github/mypy-github-formatter + continue-on-error: true - shell: bash run: | make dist @@ -404,9 +432,16 @@ jobs: pip install pyinstaller echo "${{ env.pythonLocation }}/bin" >> $GITHUB_PATH - - shell: bash + - name: Tests + shell: bash run: | pytest + - name: Mypy Type Checking + shell: bash + run: | + python -m pip install mypy + python -m mypy --output json | python .github/mypy-github-formatter + continue-on-error: true - shell: bash run: | make dist @@ -466,9 +501,16 @@ jobs: pip install pyinstaller echo "${{ env.pythonLocation }}/bin" >> $GITHUB_PATH - - shell: bash + - name: Tests + shell: bash run: | pytest + - name: Mypy Type Checking + shell: bash + run: | + python -m pip install mypy + python -m mypy --output json | python .github/mypy-github-formatter + continue-on-error: true - shell: bash run: | make dist |