diff --git a/.github/workflows/pipeline.yml b/.github/workflows/pipeline.yml
index 6f3ba411..d8013c87 100644
--- a/.github/workflows/pipeline.yml
+++ b/.github/workflows/pipeline.yml
@@ -14,6 +14,7 @@ jobs:
   typecheck:
     runs-on: ubuntu-22.04
     steps:
+      - uses: actions/checkout@v4
       - uses: ./.github/actions/typecheck
   ci:
     needs: typecheck