add proof-producer-debug-gcc check in CI

.github/workflows/gcc-debug-proof-producer-nix-check.yml

@@ -0,0 +1,31 @@
+name: Build and Test on Linux Platforms
+
+on:
+  workflow_call:
+
+jobs:
+  build-and-test:
+    name: "Build and test Linux with gcc"
+    runs-on: [self-hosted, Linux, X64, aws_autoscaling]
+    steps:
+      # https://github.com/actions/checkout/issues/1552
+      - name: Clean up after previous checkout
+        run: chmod +w -R ${GITHUB_WORKSPACE}; rm -rf ${GITHUB_WORKSPACE}/*;
+
+      - name: Checkout
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+
+      - name: Run checks for debug proof-producer
+        run: |
+          nix build -L .?#checks.x86_64-linux.proof-producer-debug-tests
+
+      - 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
+

.github/workflows/pull-request.yml

@@ -30,6 +30,13 @@ jobs:
       always() && !cancelled()
     secrets: inherit
 
+  test-linux-clang:
+    name: Linux proof-producer testing with debug gcc
+    uses: ./.github/workflows/gcc-debug-proof-producer-nix-check.yml
+    if: |
+      always() && !cancelled()
+    secrets: inherit
+
   check-proof-producer:
     name: Check Proof Producer
     uses: ./.github/workflows/check-proof-producer.yml