Fix CI: write quality reports to docs/verification_report

The path docs/s_core_v_1/verification did not exist and was not created,
causing the unit-test/coverage script to crash with FileNotFoundError.
Use the existing docs/verification_report directory (and create it if
missing) for both the script output and the workflow summary step.

Author: antonkri

.github/workflows/test_and_docs.yml

@@ -74,16 +74,16 @@ jobs:
       - name: Publish build summary
         if: always()
         run: |
-          if [ -f docs/s_core_v_1/verification/unit_test_summary.md ]; then
-            cat docs/s_core_v_1/verification/unit_test_summary.md >> "$GITHUB_STEP_SUMMARY"
+          if [ -f docs/verification_report/unit_test_summary.md ]; then
+            cat docs/verification_report/unit_test_summary.md >> "$GITHUB_STEP_SUMMARY"
           else
-            echo "No build summary file found (docs/s_core_v_1/verification/unit_test_summary.md)" >> "$GITHUB_STEP_SUMMARY"
+            echo "No build summary file found (docs/verification_report/unit_test_summary.md)" >> "$GITHUB_STEP_SUMMARY"
           fi
           echo "" >> "$GITHUB_STEP_SUMMARY" # Add a newline for better formatting
-          if [ -f docs/s_core_v_1/verification/coverage_summary.md ]; then
-            cat docs/s_core_v_1/verification/coverage_summary.md >> "$GITHUB_STEP_SUMMARY"
+          if [ -f docs/verification_report/coverage_summary.md ]; then
+            cat docs/verification_report/coverage_summary.md >> "$GITHUB_STEP_SUMMARY"
           else
-            echo "No coverage summary file found (docs/s_core_v_1/verification/coverage_summary.md)" >> "$GITHUB_STEP_SUMMARY"
+            echo "No coverage summary file found (docs/verification_report/coverage_summary.md)" >> "$GITHUB_STEP_SUMMARY"
           fi
       - name: Create archive of test reports
         if: github.ref_type == 'tag'

scripts/quality_runners.py

@@ -283,7 +283,8 @@ def parse_arguments() -> argparse.Namespace:
 def main() -> bool:
     args = parse_arguments()
     args.coverage_output_dir.mkdir(parents=True, exist_ok=True)
-    path_to_docs = Path(__file__).parent.parent / "docs/s_core_v_1/verification"
+    path_to_docs = Path(__file__).parent.parent / "docs/verification_report"
+    path_to_docs.mkdir(parents=True, exist_ok=True)
 
     known = load_known_good(args.known_good_path.resolve())