simplify CI

Author: isabelizimm

.github/workflows/tests.yml

@@ -132,25 +132,17 @@ jobs:
       - name: Run tests
         run: |
           make test
+
   typecheck:
     runs-on: ubuntu-latest
-
-    # We want to run on external PRs, but not on our own internal PRs as they'll be run
-    # by the push to the branch.
-    if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository
-
-    strategy:
-      matrix:
-        python-version: [3.11]
-
     steps:
       - name: Checkout Code
         uses: actions/checkout@v3
 
       - name: Setup Python
         uses: actions/setup-python@v4
         with:
-          python-version: ${{ matrix.python-version }}
+          python-version: "3.11"
 
       - name: Install Packages
         shell: bash