File tree 1 file changed +16
-9
lines changed 1 file changed +16
-9
lines changed Original file line number Diff line number Diff line change 17
17
runs-on : ubuntu-latest
18
18
if : ${{ github.event.workflow_run.conclusion == 'success' }}
19
19
steps :
20
- - name : Hide old comments
21
- uses : kanga333/comment-hider@c12bb20b48aeb8fc098e35967de8d4f8018fffdf # v0.4.0
22
- with :
23
- github_token : ${{ secrets.GITHUB_TOKEN }}
24
- issue_number : ${{ steps.post-comment.outputs.result }}
25
-
26
20
- name : Download diffs
27
21
uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
28
22
with :
45
39
fs.writeFileSync("diff.zip", Buffer.from(download.data));
46
40
47
41
- run : unzip diff.zip
48
- - run : |
49
- cat diff_*.txt | tee fulldiff.txt
42
+
43
+ - name
B72D
: Get PR number
44
+ id : get-pr-number
45
+ uses : actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
46
+ with :
47
+ script : |
48
+ const fs = require('fs');
49
+ return parseInt(fs.readFileSync("pr_number.txt", { encoding: "utf8" }))
50
+
51
+ - name : Hide old comments
52
+ uses : kanga333/comment-hider@c12bb20b48aeb8fc098e35967de8d4f8018fffdf # v0.4.0
53
+ with :
54
+ github_token : ${{ secrets.GITHUB_TOKEN }}
55
+ issue_number : ${{ steps.get-pr-number.outputs.result }}
56
+
57
+ - run : cat diff_*.txt | tee fulldiff.txt
50
58
51
59
- name : Post comment
52
60
id : post-comment
93
101
body
94
102
})
95
103
}
96
- return prNumber
You can’t perform that action at this time.
0 commit comments