CI/GnuComment: add safeguards

2026-06-10 15:48:22 -07:00 · 2026-04-13 12:45:09 +02:00
parent 36db2e62ca
commit 44aff6bb27
1 changed files with 8 additions and 0 deletions
@@ -50,7 +50,15 @@ jobs:
          github-token: ${{ secrets.GITHUB_TOKEN }}
          script: |
            const fs = require('fs');
+            if (!fs.existsSync('./NR') || !fs.existsSync('./result.txt')) {
+              core.info("No GNU comment payload to post.");
+              return;
+            }
            const issue_number = Number(fs.readFileSync('./NR'));
+            if (!issue_number) {
+              core.info('No PR number; skipping.');
+              return;
+            }
            const content = fs.readFileSync('./result.txt').toString();

            const marker = '<!-- gnu-comment-bot -->';