Add an alternative Precommit workflow

.gitattributes

@@ -6,8 +6,9 @@
 *.sh text eol=lf
 CASES_*.txt text eol=lf
 
+# Export-ignore
 .gitattributes export-ignore
 .gitignore export-ignore
 .gitmodules export-ignore
 .pre-commit-config.yaml export-ignore
-.github/ export-ignore
+.github export-ignore

.github/workflows/precommit.yml

@@ -0,0 +1,51 @@
+name: Precommit
+
+on:
+  workflow_dispatch:
+  pull_request:
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  test:
+    name: Precommit
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v6
+        with:
+          fetch-depth: 0
+          # We will handle submodules manually after fixing ownership
+          submodules: 'false'
+
+      - name: Update submodules
+        run: |
+          git config --global --add safe.directory "$GITHUB_WORKSPACE"
+          git submodule update --init --recursive
+
+      - name: Configure precommit server
+        run: |
+          cd tools/precommit
+          ./start_local_server.sh &
+
+      - name: Wait for precommit server
+        run: |
+          for i in {1..200}; do
+            if curl -fs -o /dev/null http://127.0.0.1:8080/ 2>/dev/null; then
+              echo "precommit server is ready"
+              exit 0
+            fi
+            sleep 1
+          done
+          echo "precommit server did not become ready" >&2
+          exit 1
+
+      - name: Run precommit
+        env:
+          ABACUS_PRECOMMIT_SERVER: "http://127.0.0.1:8080"
+        continue-on-error: true
+        run: |
+          ./tools/precommit/precommit.py --no-cache
+