Merge pull request #2028 from sydduckworth/type-checking

Add type checking using Pyrefly

Author: sydduckworth

.github/workflows/ci.yml

@@ -33,6 +33,16 @@ jobs:
     - uses: actions/checkout@v6
     - uses: actions/setup-python@v6
     - uses: pre-commit/action@v3.0.1
+  type-checking:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v6
+    - uses: actions/setup-python@v6
+      with:
+        # Run type checking against the oldest supported version
+        python-version: "3.10"
+    - run: pip install -e ".[all,tests,typing]"
+    - run: pyrefly check --output-format=github
   core:
     needs: [pre-commit]
     uses: OpenAstronomy/github-actions-workflows/.github/workflows/tox.yml@v2