diff --git a/.github/workflows/gcc-debug-proof-producer-nix-check.yml b/.github/workflows/gcc-debug-proof-producer-nix-check.yml index fc4723613..e5042ed0c 100644 --- 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/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml index 040df1c6f..b91c9df33 100644 --- a/.github/workflows/pull-request.yml +++ b/.github/workflows/pull-request.yml @@ -17,21 +17,21 @@ concurrency: jobs: test-linux-gcc: - name: Linux placeholder testing with gcc + name: Gcc release full Linux testing uses: ./.github/workflows/gcc-linux-nix-check.yml if: | always() && !cancelled() secrets: inherit test-linux-clang: - name: Linux placeholder testing with clang + name: Clang release full Linux testing uses: ./.github/workflows/clang-linux-nix-check.yml if: | always() && !cancelled() secrets: inherit test-linux-proof-producer-debug-gcc: - name: Linux proof-producer testing with debug gcc + name: Gcc debug proof-producer Linux testing uses: ./.github/workflows/gcc-debug-proof-producer-nix-check.yml if: | always() && !cancelled()