only post coverage comment if not empty (#250)

Author: enoodle

.github/workflows/post-coverage-comment.yaml

@@ -40,16 +40,17 @@ jobs:
             const fs = require('fs');
             const prNumber = fs.readFileSync('pr_number.txt', 'utf8').trim();
             const reportBody = fs.readFileSync('coverage-report.txt', 'utf8');
+
             console.log(`reportBody: "${reportBody}"`);
             console.log(`prNumber: "${prNumber}"`);
             
-            if (prNumber && reportBody.trim()) {
+            if (reportBody.trim()) {
               github.rest.issues.createComment({
                 owner: context.repo.owner,
                 repo: context.repo.repo,
                 issue_number: prNumber,
                 body: reportBody
-              }); 
+              });
             } else {
-              console.log('Did not find prNumber or reportBody');
-            } 
+              console.log('Coverage report body is empty. Skipping comment.');
+            }