From 99509df8d8abf1e7b701a4a09cf170a362f6d878 Mon Sep 17 00:00:00 2001
From: capellancitizen <thecapellancitizen@gmail.com>
Date: Sun, 9 Mar 2025 21:21:48 -0400
Subject: Mypy type correctness (#3199)

---
 .github/workflows/build.yml | 54 ++++++++++++++++++++++++++++++++++++++++-----
 1 file changed, 48 insertions(+), 6 deletions(-)

(limited to '.github/workflows')

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
-- 
cgit v1.2.3