File tree 1 file changed +4
-7
lines changed
1 file changed +4
-7
lines changed Original file line number Diff line number Diff line change 38
38
fs.writeFileSync("diff.zip", Buffer.from(download.data));
39
39
40
40
- run : unzip diff.zip
41
+ # 30000 bytes is about 300 lines, posting comment fails if too long
42
+ - run : |
43
+ cat diff_*.txt | head -c 30000 | tee fulldiff.txt
41
44
42
45
# Based on https://github.com/kanga333/comment-hider
43
46
- name : Hide old comments
77
80
github-token : ${{secrets.GITHUB_TOKEN}}
78
81
script : |
79
82
const fs = require('fs')
80
- // Keep in sync with shards produced by mypy_primer workflow
81
- const data = (
82
- ['diff_0.txt', 'diff_1.txt', 'diff_2.txt']
83
- .map(fileName => fs.readFileSync(fileName, { encoding: 'utf8' }))
84
- .join('')
85
- .substr(0, 30000) // About 300 lines
86
- )
83
+ const data = fs.readFileSync('fulldiff.txt', { encoding: 'utf8' })
87
84
88
85
console.log("Diff from mypy_primer:")
89
86
console.log(data)
You can’t perform that action at this time.
0 commit comments