Fix summary filename to use -- separator instead of directory paths

- Replace '/' in repo name with '--' to create flat filename in .audit/ directory
- Use double dash as separator for clean parsing: user--repo--branch--pr--wstest-summary.md
- This avoids creating subdirectories and fixes the 'No such file or directory' error
- Result: oberstet--autobahn-python--rel_v25.9.1_part4b--1680--wstest-summary.md

Author: oberstet

.github/workflows/wstest.yml

@@ -326,8 +326,9 @@ jobs:
         run: |
           echo "==> Generating conformance summary tables..."
 
-          # Create unique filename for PR
-          SUMMARY_FILE="${{ github.workspace }}/.audit/${{ github.event.pull_request.head.repo.full_name }}-${{ github.head_ref }}-${{ github.event.number }}-wstest-summary.md"
+          # Create unique filename for PR using -- as separator
+          REPO_SAFE=$(echo '${{ github.event.pull_request.head.repo.full_name }}' | tr '/' '--')
+          SUMMARY_FILE="${{ github.workspace }}/.audit/${REPO_SAFE}--${{ github.head_ref }}--${{ github.event.number }}--wstest-summary.md"
           echo "Summary file: $SUMMARY_FILE"
 
           # Generate summary for clients and servers