add proof-producer-debug-gcc

NilFoundation · Dec 13, 2024 · c0ffd75 · c0ffd75
1 parent f173974
commit c0ffd75
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.github/workflows/gcc-debug-proof-producer-nix-check.yml b/.github/workflows/gcc-debug-proof-producer-nix-check.yml
@@ -19,7 +19,7 @@ jobs:
 
       - name: Run checks for debug proof-producer
         run: |
-          nix build -L .?#checks.x86_64-linux.proof-producer-debug-tests
+          nix build -L .?#checks.x86_64-linux.proof-producer-debug-gcc
 
       - name: Publish Test Results
         uses: EnricoMi/publish-unit-test-result-action/linux@v2

diff --git a/flake.nix b/flake.nix
@@ -179,6 +179,10 @@
             runTests = true;
             enableDebug = false;
           });
+          proof-producer-debug-gcc = (pkgs.callPackage ./proof-producer.nix {
+            runTests = true;
+            enableDebug = true;
+          });
           proof-producer-clang = (pkgs.callPackage ./proof-producer.nix {
             stdenv = pkgs.llvmPackages_19.stdenv;
             runTests = true;