Add PR comment + workflow summary

Author: andmor-

.github/workflows/main.yml

@@ -108,3 +108,38 @@ jobs:
             echo "Checking: $file"
             CI-assets/check_certificates.sh -f "$file"
           done < <(printf "%s\n" "${{ needs.detect_changes.outputs.files }}")
+
+      - name: Add summary table
+        run: |
+          {
+            echo "### Certificate & XML Validation Summary"
+            echo ""
+            echo "| File | Result |"
+            echo "|------|--------|"
+            while IFS= read -r file; do
+              [[ -z "$file" ]] && continue
+              echo "| $file | Checked |"
+            done < <(printf "%s\n" "${{ needs.detect_changes.outputs.files }}")
+          } >> $GITHUB_STEP_SUMMARY
+
+      - name: Add comment to PR
+        if: github.event_name == 'pull_request'
+        uses: actions/github-script@v7
+        with:
+          script: |
+            const files = `\n${{ needs.detect_changes.outputs.files }}`.trim().split("\n");
+            let table = "### Certificate & XML Validation Summary\n\n";
+            table += "| File | Result |\n";
+            table += "|------|--------|\n";
+            for (const f of files) {
+              if (f.trim() === "") continue;
+              table += `| ${f} | Checked |\n`;
+            }
+
+            await github.rest.issues.createComment({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              issue_number: context.issue.number,
+              body: table
+            });
+