Use awk to extract coverage table in CI

Replace the sed extraction with an awk script that starts printing at the coverage header and stops when the "Coverage XML written to file" marker is seen, preventing extraneous trailing output from being appended to the GitHub job summary. Retains the code block wrapping and || true to avoid step failures, and includes minor whitespace cleanup in the workflow file.

Author: C-Achard

.github/workflows/testing-ci.yml

@@ -57,14 +57,18 @@ jobs:
         run: |
           tox -q | tee tox-output.log
 
+
       - name: Append Coverage Summary to Job
         if: matrix.os == 'ubuntu-latest' && matrix.python == '3.12'
         shell: bash
         run: |
           echo "## Coverage Summary" >> "$GITHUB_STEP_SUMMARY"
           echo '```text' >> "$GITHUB_STEP_SUMMARY"
-          # Pull the coverage table from tox output:
-          sed -n '/^Name\s\+Stmts\s\+Miss\s\+Cover/,$p' tox-output.log >> "$GITHUB_STEP_SUMMARY" || true
+          awk '
+            /^Name[[:space:]]+Stmts[[:space:]]+Miss/ {p=1}
+            p==1 {print}
+            /^Coverage XML written to file/ {exit}
+          ' tox-output.log >> "$GITHUB_STEP_SUMMARY" || true
           echo '```' >> "$GITHUB_STEP_SUMMARY"
 
       - name: Upload coverage to Codecov