File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ ---
2+ name : " comment"
3+ description : " Comment on a given pull request or issue"
4+
5+ runs :
6+ using : " composite"
7+ steps :
8+ - name : Update pr with info from other runners
9+ uses : actions/github-script@v7
10+ if : ${{ github.event.workflow_run.event == 'pull_request' }}
11+ with :
12+ github-token : ${{ secrets.GITHUB_TOKEN }}
13+ script : |
14+ var fs = require('fs');
15+ var issue_number = Number(fs.readFileSync('./results/id'));
16+ var problem_count = Number(fs.readFileSync(
17+ './results/problem-count'
18+ ));
19+ var summary = String(fs.readFileSync('./results/summary'));
20+
21+ if (problem_count > 0) {
22+ github.rest.issues.createComment({
23+ owner: context.repo.owner,
24+ issue_number: issue_number,
25+ repo: context.repo.repo,
26+ body: summary
27+ });
28+ }
Original file line number Diff line number Diff line change 7171 [ "$WARNING_COUNT" -eq "0" ]
7272
7373 - name : Comment
74- uses : ./.github/workflows /comment.yml
74+ uses : ./.github/actions /comment
7575 if : always()
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments