Check out CI revisions without Node

2026-11-04 16:35:39 +08:00
parent 218f25290b
commit d655f5624b
1 changed files with 8 additions and 1 deletions
@@ -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