From d655f5624b592650fdf1c7d8f9e6fc8950c26037 Mon Sep 17 00:00:00 2001
From: Codex Bot <codex-bot@gitea.entroia.local>
Date: Wed, 4 Nov 2026 16:35:39 +0800
Subject: [PATCH] Check out CI revisions without Node

---
 .gitea/workflows/verify.yaml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

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