only build proof-producer executable and not run the tests

.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