From fb3c42ab0187f220abba43917a2bcb4a56743b4c Mon Sep 17 00:00:00 2001 From: Andrei Malashkin Date: Fri, 13 Dec 2024 13:36:42 +0100 Subject: [PATCH] only build proof-producer executable and not run the tests --- .../workflows/gcc-debug-proof-producer-nix-check.yml | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-) diff --git a/.github/workflows/gcc-debug-proof-producer-nix-check.yml b/.github/workflows/gcc-debug-proof-producer-nix-check.yml index e5042ed0c..75335cf4b 100644 --- a/.github/workflows/gcc-debug-proof-producer-nix-check.yml +++ b/.github/workflows/gcc-debug-proof-producer-nix-check.yml @@ -19,13 +19,5 @@ jobs: - name: Run checks for debug proof-producer run: | - nix build -L .?#checks.x86_64-linux.proof-producer-debug-gcc - - - name: Publish Test Results - uses: EnricoMi/publish-unit-test-result-action/linux@v2 - with: - check_name: "Proof-producer Debug Test Results" - files: "results/*.xml" - comment_mode: ${{ github.event.pull_request.head.repo.fork && 'off' || 'always' }} # Don't create PR comment from fork runs - action_fail_on_inconclusive: true # fail, if no reports - + nix run .#multi-threaded -- --help + nix run .#single-threaded -- --help