workflow: proof: switch to runtest

formosa-crypto · Oct 7, 2024 · 32d6de0 · 32d6de0
1 parent 332f901
commit 32d6de0
Showing 1 changed file with 0 additions and 16 deletions.
diff --git 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