From 3d53b1a54d18b098e02642c83f60dbdeaa12f289 Mon Sep 17 00:00:00 2001
From: Athanasius <Athanasius@miggy.org>
Date: Fri, 23 Dec 2022 15:24:45 +0000
Subject: [PATCH] github/mypy: Specifically run for win32 platform

---
 .github/workflows/push-checks.yml | 2 +-
 scripts/mypy-all.sh               | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/push-checks.yml b/.github/workflows/push-checks.yml
index b483ebb0..07f45e75 100644
--- a/.github/workflows/push-checks.yml
+++ b/.github/workflows/push-checks.yml
@@ -67,4 +67,4 @@ jobs:
 
     - name: mypy type checks
       run: |
-          ./scripts/mypy-all.sh
+          ./scripts/mypy-all.sh --platform win32
diff --git a/scripts/mypy-all.sh b/scripts/mypy-all.sh
index 71f2f958..02a76a48 100755
--- a/scripts/mypy-all.sh
+++ b/scripts/mypy-all.sh
@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 #
 
-mypy $(git ls-tree --full-tree -r --name-only HEAD | grep -E '\.py$')
+mypy $@ $(git ls-tree --full-tree -r --name-only HEAD | grep -E '\.py$')