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+ inputs :
5+ token :
6+ description : " A token with pull request or issue write permission"
7+ required : true
8+
9+ runs :
10+ using : " composite"
11+ steps :
12+ - name : Update pr with info from other runners
13+ uses : actions/github-script@v7
14+ with :
15+ github-token : ${{ inputs.token }}
16+ script : |
17+ var fs = require('fs');
18+ var issue_number = Number(fs.readFileSync('./results/id'));
19+ var problem_count = Number(fs.readFileSync(
20+ './results/problem-count'
21+ ));
22+ var summary = String(fs.readFileSync('./results/summary'));
23+
24+ if (problem_count > 0) {
25+ github.rest.issues.createComment({
26+ owner: context.repo.owner,
27+ issue_number: issue_number,
28+ repo: context.repo.repo,
29+ body: summary
30+ });
31+ }
Original file line number Diff line number Diff line change 2626 image : ghcr.io/texasinstruments/processor-sdk-doc:latest
2727 options : --entrypoint /bin/bash
2828
29+ permissions :
30+ pull-requests : write # Required to comment on pull requests
31+
2932 steps :
3033 - name : Checkout repository
3134 uses : actions/checkout@v4
4043 git switch master
4144
4245 - name : Run check_files.py
46+ id : check
4347 env :
4448 EVENT_NUMBER : ${{ github.event.number }}
4549 run : |
6973 # Exit with error if there are new warnings
7074 [ "$WARNING_COUNT" -eq "0" ]
7175
72- - name : Save results
73- uses : actions/upload-artifact@v4
76+ - name : Comment
77+ uses : ./.github/ actions/comment
7478 if : always()
7579 with :
76- name : results
77- path : results/
78- retention-days : 1
80+ token : ${{ secrets.GITHUB_TOKEN }}
Original file line number Diff line number Diff line change 2727 image : ghcr.io/texasinstruments/processor-sdk-doc:latest
2828 options : --entrypoint /bin/bash
2929
30+ permissions :
31+ pull-requests : write # Required to comment on pull requests
32+
3033 steps :
3134 - name : Checkout repository
3235 uses : actions/checkout@v4
7073 # Exit with error if there are new warnings
7174 [ "$WARNING_COUNT" -eq "0" ]
7275
73- - name : Save results
74- uses : actions/upload-artifact@v4
76+ - name : Comment
77+ uses : ./.github/ actions/comment
7578 if : always()
7679 with :
77- name : results
78- path : results/
79- retention-days : 1
80+ token : ${{ secrets.GITHUB_TOKEN }}
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 2626 image : ghcr.io/texasinstruments/processor-sdk-doc:latest
2727 options : --entrypoint /bin/bash
2828
29+ permissions :
30+ pull-requests : write # Required to comment on pull requests
31+
2932 steps :
3033 - name : Checkout repository
3134 uses : actions/checkout@v4
6972 # Exit with error if there are new warnings
7073 [ "$WARNING_COUNT" -eq "0" ]
7174
72- - name : Save results
73- uses : actions/upload-artifact@v4
75+ - name : Comment
76+ uses : ./.github/ actions/comment
7477 if : always()
7578 with :
76- name : results
77- path : results/
78- retention-days : 1
79+ token : ${{ secrets.GITHUB_TOKEN }}
You can’t perform that action at this time.
0 commit comments