Merge branch 'master' into Issue#2442

2025-09-20 20:26:14 -04:00
parent 1e38fb6f7b 0a38cad926
commit 70896f1da4
1 changed files with 1 additions and 0 deletions
@@ -85,6 +85,7 @@ jobs:
        if: steps.discover-modified.outputs.changed_targets != ''
        uses: actions/github-script@v8
        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
          script: |
            const fs = require('fs');
            const body = fs.readFileSync('validation_summary.md', 'utf8');