File tree 1 file changed +0
-20
lines changed
1 file changed +0
-20
lines changed Original file line number Diff line number Diff line change 48
48
with :
49
49
github-token : ${{ secrets.GITHUB_TOKEN }}
50
50
script : |
51
- const MAX_CHARACTERS = 30000
52
- const MAX_CHARACTERS_PER_PROJECT = MAX_CHARACTERS / 3
53
-
54
51
const fs = require('fs')
55
52
let data = fs.readFileSync('fulldiff.txt', { encoding: 'utf8' })
56
53
57
- function truncateIfNeeded(original, maxLength) {
58
- if (original.length <= maxLength) {
59
- return original
60
- }
61
- let truncated = original.substring(0, maxLength)
62
- // further, remove last line that might be truncated
63
- truncated = truncated.substring(0, truncated.lastIndexOf('\n'))
64
- let lines_truncated = original.split('\n').length - truncated.split('\n').length
65
- return `${truncated}\n\n... (truncated ${lines_truncated} lines) ...`
66
- }
67
-
68
- const projects = data.split('\n\n')
69
- // don't let one project dominate
70
- data = projects.map(project => truncateIfNeeded(project, MAX_CHARACTERS_PER_PROJECT)).join('\n\n')
71
- // posting comment fails if too long, so truncate
72
- data = truncateIfNeeded(data, MAX_CHARACTERS)
73
-
74
54
console.log("Diff from mypy_primer:")
75
55
console.log(data)
76
56
You can’t perform that action at this time.
0 commit comments