Extract developer guide report summaries to script

shai-almog · shai-almog · commit 7d4ff2823dc3 · 2025-10-23T17:06:21.000+03:00
diff --git a/.github/workflows/developer-guide-docs.yml b/.github/workflows/developer-guide-docs.yml
@@ -82,10 +82,43 @@ jobs:
         with:
           ruby-version: '3.1'
 
+      - name: Set up Java for docToolchain
+        uses: actions/setup-java@v4
+        with:
+          distribution: temurin
+          java-version: '21'
+
       - name: Install Asciidoctor tooling
         run: |
           gem install --no-document asciidoctor asciidoctor-pdf
 
+      - name: Download docToolchain
+        run: |
+          set -euo pipefail
+          DT_VERSION="3.4.2"
+          DT_ROOT="${RUNNER_TEMP}/doctoolchain"
+          mkdir -p "$DT_ROOT"
+          curl -fsSL -o "$DT_ROOT/doctoolchain.zip" "https://github.com/docToolchain/docToolchain/releases/download/v${DT_VERSION}/docToolchain-${DT_VERSION}.zip"
+          unzip -q "$DT_ROOT/doctoolchain.zip" -d "$DT_ROOT"
+          DOC_TOOLCHAIN_HOME="$DT_ROOT/docToolchain-${DT_VERSION}"
+          echo "DOC_TOOLCHAIN_HOME=$DOC_TOOLCHAIN_HOME" >> "$GITHUB_ENV"
+
+      - name: Run docToolchain AsciiDoc linter
+        run: |
+          set -euo pipefail
+          REPORT_DIR="build/developer-guide/reports"
+          REPORT_FILE="${REPORT_DIR}/asciidoc-lint-report.txt"
+          mkdir -p "$REPORT_DIR"
+          set +e
+          "$DOC_TOOLCHAIN_HOME/bin/doctoolchain" docs/developer-guide asciidocLint | tee "$REPORT_FILE"
+          STATUS=${PIPESTATUS[0]}
+          set -e
+          echo "ASCII_DOC_LINT_REPORT=$REPORT_FILE" >> "$GITHUB_ENV"
+          echo "ASCII_DOC_LINT_STATUS=$STATUS" >> "$GITHUB_ENV"
+          if [ "$STATUS" -ne 0 ]; then
+            echo "docToolchain AsciiDoc linter exited with status $STATUS" >&2
+          fi
+
       - name: Build Developer Guide HTML and PDF
         run: |
           set -euo pipefail
@@ -135,6 +168,65 @@ jobs:
             rm -f "$GENERATED_COVER_SVG"
           fi
 
+      - name: Install Vale
+        run: |
+          set -euo pipefail
+          VALE_VERSION="3.13.0"
+          VALE_ARCHIVE="vale_${VALE_VERSION}_Linux_64-bit.tar.gz"
+          curl -fsSL -o "$VALE_ARCHIVE" "https://github.com/errata-ai/vale/releases/download/v${VALE_VERSION}/${VALE_ARCHIVE}"
+          tar -xzf "$VALE_ARCHIVE"
+          sudo mv vale /usr/local/bin/vale
+          rm -f "$VALE_ARCHIVE"
+
+      - name: Sync Vale styles
+        run: |
+          set -euo pipefail
+          vale sync --config docs/developer-guide/.vale.ini
+
+      - name: Run Vale style linter
+        run: |
+          set -euo pipefail
+          REPORT_DIR="build/developer-guide/reports"
+          REPORT_FILE="${REPORT_DIR}/vale-report.json"
+          mkdir -p "$REPORT_DIR"
+          vale --config docs/developer-guide/.vale.ini --output=JSON docs/developer-guide > "$REPORT_FILE"
+          echo "VALE_REPORT=$REPORT_FILE" >> "$GITHUB_ENV"
+
+      - name: Check for unused developer guide images
+        run: |
+          set -euo pipefail
+          REPORT_DIR="build/developer-guide/reports"
+          JSON_REPORT="${REPORT_DIR}/unused-images.json"
+          TEXT_REPORT="${REPORT_DIR}/unused-images.txt"
+          mkdir -p "$REPORT_DIR"
+          python3 scripts/developer-guide/find_unused_images.py docs/developer-guide --output "$JSON_REPORT" | tee "$TEXT_REPORT"
+          echo "UNUSED_IMAGES_JSON=$JSON_REPORT" >> "$GITHUB_ENV"
+          echo "UNUSED_IMAGES_TEXT=$TEXT_REPORT" >> "$GITHUB_ENV"
+
+      - name: Summarize AsciiDoc linter findings
+        id: summarize_asciidoc_lint
+        run: |
+          python3 scripts/developer-guide/summarize_reports.py ascii \
+            --report "${ASCII_DOC_LINT_REPORT}" \
+            --status "${ASCII_DOC_LINT_STATUS:-0}" \
+            --output "${GITHUB_OUTPUT}"
+
+      - name: Summarize Vale findings
+        id: summarize_vale
+        run: |
+          python3 scripts/developer-guide/summarize_reports.py vale \
+            --report "${VALE_REPORT}" \
+            --output "${GITHUB_OUTPUT}"
+
+      - name: Summarize unused image findings
+        id: summarize_unused_images
+        run: |
+          python3 scripts/developer-guide/summarize_reports.py unused-images \
+            --report "${UNUSED_IMAGES_JSON}" \
+            --output "${GITHUB_OUTPUT}" \
+            --details-key details \
+            --preview-limit 10
+
       - name: Upload HTML artifact
         uses: actions/upload-artifact@v4
         with:
@@ -149,9 +241,37 @@ jobs:
           path: build/developer-guide/pdf/developer-guide.pdf
           if-no-files-found: error
 
+      - name: Upload AsciiDoc linter report
+        uses: actions/upload-artifact@v4
+        with:
+          name: developer-guide-asciidoc-lint
+          path: ${{ env.ASCII_DOC_LINT_REPORT }}
+          if-no-files-found: warn
+
+      - name: Upload Vale report
+        uses: actions/upload-artifact@v4
+        with:
+          name: developer-guide-vale-report
+          path: ${{ env.VALE_REPORT }}
+          if-no-files-found: warn
+
+      - name: Upload unused image report
+        uses: actions/upload-artifact@v4
+        with:
+          name: developer-guide-unused-images
+          path: |
+            ${{ env.UNUSED_IMAGES_JSON }}
+            ${{ env.UNUSED_IMAGES_TEXT }}
+          if-no-files-found: warn
+
       - name: Comment with artifact download links
         if: ${{ github.event_name == 'pull_request' && !github.event.pull_request.head.repo.fork }}
         uses: actions/github-script@v7
+        env:
+          ASCII_SUMMARY: ${{ steps.summarize_asciidoc_lint.outputs.summary }}
+          VALE_SUMMARY: ${{ steps.summarize_vale.outputs.summary }}
+          UNUSED_SUMMARY: ${{ steps.summarize_unused_images.outputs.summary }}
+          UNUSED_DETAILS: ${{ steps.summarize_unused_images.outputs.details }}
         with:
           github-token: ${{ secrets.GITHUB_TOKEN }}
           script: |
@@ -183,22 +303,76 @@ jobs:
               per_page: 100
             });
 
-            const links = [];
+            const artifactLinks = new Map();
             for (const artifact of artifacts.data.artifacts) {
-              if (artifact.name === 'developer-guide-html') {
-                links.push(`- [Developer Guide HTML package](https://github.com/${owner}/${repo}/actions/runs/${runId}/artifacts/${artifact.id})`);
-              }
-              if (artifact.name === 'developer-guide-pdf') {
-                links.push(`- [Developer Guide PDF](https://github.com/${owner}/${repo}/actions/runs/${runId}/artifacts/${artifact.id})`);
-              }
+              artifactLinks.set(
+                artifact.name,
+                `https://github.com/${owner}/${repo}/actions/runs/${runId}/artifacts/${artifact.id}`
+              );
+            }
+
+            const links = [];
+            if (artifactLinks.has('developer-guide-html')) {
+              links.push(`- [Developer Guide HTML package](${artifactLinks.get('developer-guide-html')})`);
+            }
+            if (artifactLinks.has('developer-guide-pdf')) {
+              links.push(`- [Developer Guide PDF](${artifactLinks.get('developer-guide-pdf')})`);
+            }
+            if (artifactLinks.has('developer-guide-asciidoc-lint')) {
+              links.push(`- [AsciiDoc linter report](${artifactLinks.get('developer-guide-asciidoc-lint')})`);
+            }
+            if (artifactLinks.has('developer-guide-vale-report')) {
+              links.push(`- [Vale report](${artifactLinks.get('developer-guide-vale-report')})`);
+            }
+            if (artifactLinks.has('developer-guide-unused-images')) {
+              links.push(`- [Unused image report](${artifactLinks.get('developer-guide-unused-images')})`);
             }
 
             if (!links.length) {
               console.log('No artifacts found to report.');
               return;
             }
 
-            const body = `${marker}\nDeveloper Guide build artifacts are available for download from this workflow run:\n\n${links.join('\n')}\n`;
+            const qualityLines = [];
+            const asciiSummary = process.env.ASCII_SUMMARY?.trim();
+            const valeSummary = process.env.VALE_SUMMARY?.trim();
+            const unusedSummary = process.env.UNUSED_SUMMARY?.trim();
+            const asciiLink = artifactLinks.get('developer-guide-asciidoc-lint');
+            const valeLink = artifactLinks.get('developer-guide-vale-report');
+            const unusedLink = artifactLinks.get('developer-guide-unused-images');
+
+            if (asciiSummary) {
+              qualityLines.push(`- AsciiDoc linter: ${asciiSummary}${asciiLink ? ` ([report](${asciiLink}))` : ''}`);
+            }
+            if (valeSummary) {
+              qualityLines.push(`- Vale: ${valeSummary}${valeLink ? ` ([report](${valeLink}))` : ''}`);
+            }
+            if (unusedSummary) {
+              qualityLines.push(`- Image references: ${unusedSummary}${unusedLink ? ` ([report](${unusedLink}))` : ''}`);
+            }
+
+            let unusedDetails = process.env.UNUSED_DETAILS ? process.env.UNUSED_DETAILS.split('\n') : [];
+            unusedDetails = unusedDetails.filter(Boolean);
+            const detailsSection = unusedDetails.length
+              ? `\nUnused image preview:\n\n${unusedDetails.map(line => `  ${line}`).join('\n')}\n`
+              : '';
+
+            const sections = [
+              `${marker}`,
+              'Developer Guide build artifacts are available for download from this workflow run:',
+              '',
+              links.join('\n')
+            ];
+
+            if (qualityLines.length) {
+              sections.push('', 'Developer Guide quality checks:', '', qualityLines.join('\n'));
+            }
+
+            if (detailsSection) {
+              sections.push(detailsSection.trimEnd());
+            }
+
+            const body = sections.join('\n') + '\n';
             const comments = await github.rest.issues.listComments({
               owner,
               repo,
diff --git a/docs/developer-guide/.gitignore b/docs/developer-guide/.gitignore
@@ -1,2 +1,3 @@
 book-cover.generated.svg
 book-cover.generated.png
+styles/
diff --git a/docs/developer-guide/.vale.ini b/docs/developer-guide/.vale.ini
@@ -0,0 +1,6 @@
+StylesPath = styles
+MinAlertLevel = suggestion
+Packages = Vale
+
+[*.{adoc,asciidoc}]
+BasedOnStyles = Vale
diff --git a/docs/developer-guide/Config.groovy b/docs/developer-guide/Config.groovy
@@ -0,0 +1,11 @@
+outputPath = 'build'
+
+inputPath = '.'
+
+inputFiles = [
+    [file: 'developer-guide.asciidoc', formats: ['html']]
+]
+
+imageDirs = [
+    'img'
+]
diff --git a/scripts/developer-guide/find_unused_images.py b/scripts/developer-guide/find_unused_images.py
@@ -0,0 +1,73 @@
+#!/usr/bin/env python3
+"""Identify unreferenced images in the developer guide."""
+from __future__ import annotations
+
+import argparse
+import json
+from pathlib import Path
+from typing import Iterable, List
+
+ASCIIDOC_EXTENSIONS = {".adoc", ".asciidoc"}
+
+
+def iter_text_files(root: Path) -> Iterable[Path]:
+    for path in root.rglob("*"):
+        if path.is_file() and path.suffix.lower() in ASCIIDOC_EXTENSIONS:
+            yield path
+
+
+def main() -> None:
+    parser = argparse.ArgumentParser(description=__doc__)
+    parser.add_argument("doc_root", type=Path, help="Path to the developer guide root directory")
+    parser.add_argument(
+        "--image-dir",
+        type=Path,
+        default=None,
+        help="Directory containing images (defaults to <doc_root>/img)",
+    )
+    parser.add_argument(
+        "--output",
+        type=Path,
+        default=None,
+        help="Optional path to write a JSON report",
+    )
+    args = parser.parse_args()
+
+    doc_root = args.doc_root.resolve()
+    image_dir = (args.image_dir or (doc_root / "img")).resolve()
+
+    if not image_dir.exists():
+        raise SystemExit(f"Image directory '{image_dir}' does not exist")
+
+    adoc_files = list(iter_text_files(doc_root))
+    contents = [path.read_text(encoding="utf-8", errors="ignore") for path in adoc_files]
+
+    unused: List[str] = []
+    for image_path in sorted(image_dir.rglob("*")):
+        if not image_path.is_file():
+            continue
+        rel_path = image_path.relative_to(doc_root).as_posix()
+        if any(rel_path in text for text in contents):
+            continue
+        # Also fall back to checking just the file name to catch references that rely on imagesdir.
+        filename = image_path.name
+        if any(filename in text for text in contents):
+            continue
+        unused.append(rel_path)
+
+    report = {"unused_images": unused}
+
+    if args.output:
+        args.output.parent.mkdir(parents=True, exist_ok=True)
+        args.output.write_text(json.dumps(report, indent=2), encoding="utf-8")
+
+    if unused:
+        print("Unused images detected:")
+        for rel_path in unused:
+            print(f" - {rel_path}")
+    else:
+        print("No unused images found.")
+
+
+if __name__ == "__main__":
+    main()
diff --git a/scripts/developer-guide/summarize_reports.py b/scripts/developer-guide/summarize_reports.py

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,3 @@`
`1`	`1`	`book-cover.generated.svg`
`2`	`2`	`book-cover.generated.png`
	`3`	`+styles/`