ci(github): fix lint-and-type

dbohdan · Oct 15, 2024 · 84a2891 · 84a2891
1 parent 6e1f1e1
commit 84a2891
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/lint-and-type.yml b/.github/workflows/lint-and-type.yml
@@ -4,7 +4,7 @@ jobs:
   lint-and-type:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v3
       - name: Install dependencies
         run: |
           pip install --upgrade pip