Catch all python files
diff --git a/.github/workflows/type-tests.yml b/.github/workflows/type-tests.yml
index 91f8d17..16cab27 100644
--- a/.github/workflows/type-tests.yml
+++ b/.github/workflows/type-tests.yml
@@ -34,8 +34,7 @@
     - name: Type testing with mypy
       run: |
           mypy --cache-dir /tmp/ --install-types
-          mypy --cache-dir /tmp/ --ignore-missing-imports tools/archiver.py
-          mypy --cache-dir /tmp/ --ignore-missing-imports tools/import-mbox.py
-          mypy --cache-dir /tmp/ --ignore-missing-imports server/main.py
+          mypy --cache-dir /tmp/ --ignore-missing-imports tools/*.py
+          mypy --cache-dir /tmp/ --ignore-missing-imports server/*.py
           mypy --cache-dir /tmp/ --ignore-missing-imports server/plugins/*.py
           mypy --cache-dir /tmp/ --ignore-missing-imports server/endpoints/*.py