diff --git a/.github/workflows/amd64-linux.yml b/.github/workflows/amd64-linux.yml
index 38d0b27..92d8e9a 100644
--- a/.github/workflows/amd64-linux.yml
+++ b/.github/workflows/amd64-linux.yml
@@ -98,22 +98,6 @@ jobs:
 
   # proof
   proof:
-    runs-on: [self-hosted, linux, X64, amd64-main]
-    steps:
-      - name: checkout
-        uses: actions/checkout@v4
-      - name: preprocess
-        run: make -j$JOBS -C src/ CI=1 preprocess-inplace
-
-      - name: run proof
-        run: make -j$JOBS -C proof/ all-no-report
-      - name: print report
-        run: make -C proof/ CI=1 reporter
-      - name: return error
-        run: make -C proof/ CI=1 err
-
-  # proof (using runtest)
-  proof-runtest:
     runs-on: [self-hosted, linux, X64, amd64-main]
     steps:
       - name: checkout