Put code coverage deploy action into a separate job.

.github/workflows/regression_test.yml

@@ -15,13 +15,7 @@ on:
 jobs:
   # This workflow contains a single job called "linux_job"
   run_tests:
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-
     permissions:
-      pages: write
-      id-token: write
       contents: read
       issues: read
       checks: write
@@ -62,52 +56,64 @@ jobs:
           ./test/guix_test/cmake/build/*.txt
           ./test/guix_test/cmake/build/*/Testing/**/*.xml
           ./test/guix_test/cmake/build/**/regression/output_files/*.bin
-    
+
     - name: Configure GitHub Pages
       uses: actions/[email protected]
-        
+
     - name: Upload GitHub Pages artifact
       uses: actions/[email protected]
       with:
         path: ./test/guix_test/cmake/coverage_report/default_build_coverage
-
-    - name: Deploy GitHub Pages site
-      if: github.event_name == 'push'
-      id: deployment
-      uses: actions/[email protected]
 
-    - name: Generate Code Coverage Results Summary
+    - name: Generate Code Coverage Summary
       uses: irongut/[email protected]
       with:
         filename: ./test/guix_test/cmake/coverage_report/default_build_coverage.xml
         format: markdown
         badge: true
         hide_complexity: true
         output: file
-
-    - name: Write Code Coverage Report URL
+        
+    - name: Write Code Coverage Summary
       run: |
-        cat code-coverage-results.md > code-coverage-summary.md
-        echo -e "\n" >> code-coverage-summary.md
-        echo '[Open Coverage Report](${{ steps.deployment.outputs.page_url }})' >> code-coverage-summary.md
         echo "## Coverage Report" >> $GITHUB_STEP_SUMMARY
-        cat code-coverage-summary.md >> $GITHUB_STEP_SUMMARY
-        
+        cat code-coverage-results.md >> $GITHUB_STEP_SUMMARY
+
     - name: Create CheckRun for Code Coverage
-      if: github.event_name == 'push'
+      if: (github.event_name == 'push') || (github.event.pull_request.head.repo.full_name == github.repository)
       uses: LouisBrunner/[email protected]
       with:
         token: ${{ secrets.GITHUB_TOKEN }}
         name: Code Coverage
         conclusion: ${{ job.status }}
         output: |
           {"summary":"Coverage Report"}
-        output_text_description_file: code-coverage-summary.md
-
+        output_text_description_file: code-coverage-results.md
+        
     - name: Add Code Coverage PR Comment
-      if: github.event_name == 'push'
+      if: (github.event_name == 'push') || (github.event.pull_request.head.repo.full_name == github.repository)
       uses: marocchino/sticky-pull-request-comment@v2
       with:
         append: true
-        path: code-coverage-summary.md
+        path: code-coverage-results.md
+
+  deploy_code_coverage:
+    runs-on: ubuntu-latest
+    if: github.event_name == 'push'
+    needs: run_tests
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    permissions:
+      pages: write
+      id-token: write
+
+    steps:        
+    - name: Deploy GitHub Pages site
+      id: deployment
+      uses: actions/[email protected]
+
+    - name: Write Code Coverage Report URL
+      run: |
+        echo '[Open Coverage Report](${{ steps.deployment.outputs.page_url }})' >>  $GITHUB_STEP_SUMMARY