diff --git a/.gitea/workflows/verify.yaml b/.gitea/workflows/verify.yaml
index cab084e..b7b37f6 100644
--- a/.gitea/workflows/verify.yaml
+++ b/.gitea/workflows/verify.yaml
@@ -4,7 +4,14 @@ jobs:
   verify:
     runs-on: ubuntu24.04-x64-lean4.35
     steps:
-      - uses: https://github.com/actions/checkout@v4
+      - name: Check out the revision with Git
+        env:
+          REPO_URL: ${{ github.server_url }}/${{ github.repository }}.git
+          REVISION: ${{ github.sha }}
+        run: |
+          git init .
+          git fetch --depth=1 "$REPO_URL" "$REVISION"
+          git checkout --detach FETCH_HEAD
       - name: Install wheels in an isolated environment
         run: |
           python3 -m venv .venv