fix: typo in github actions workflow

.github/workflows/tests.yml

@@ -50,7 +50,7 @@ jobs:
   type-check:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v
+      - uses: actions/checkout@v4
 
       - name: Set up Python
         uses: actions/setup-python@v5