From 32d6de08073e20853c0619423facd204f91e44b6 Mon Sep 17 00:00:00 2001 From: Tiago Oliveira Date: Mon, 7 Oct 2024 11:01:48 +0100 Subject: [PATCH] workflow: proof: switch to runtest --- .github/workflows/amd64-linux.yml | 16 ---------------- 1 file changed, 16 deletions(-) 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