mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-28 06:36:54 +08:00
mypy_primer: mention if output is truncated (#7525)
This commit is contained in:
9
.github/workflows/mypy_primer_comment.yml
vendored
9
.github/workflows/mypy_primer_comment.yml
vendored
@@ -38,9 +38,8 @@ jobs:
|
||||
fs.writeFileSync("diff.zip", Buffer.from(download.data));
|
||||
|
||||
- run: unzip diff.zip
|
||||
# 30000 bytes is about 300 lines, posting comment fails if too long
|
||||
- run: |
|
||||
cat diff_*.txt | head -c 30000 | tee fulldiff.txt
|
||||
cat diff_*.txt | tee fulldiff.txt
|
||||
|
||||
- name: Post comment
|
||||
id: post-comment
|
||||
@@ -49,7 +48,11 @@ jobs:
|
||||
github-token: ${{secrets.GITHUB_TOKEN}}
|
||||
script: |
|
||||
const fs = require('fs')
|
||||
const data = fs.readFileSync('fulldiff.txt', { encoding: 'utf8' })
|
||||
let data = fs.readFileSync('fulldiff.txt', { encoding: 'utf8' })
|
||||
// posting comment fails if too long, so truncate
|
||||
if (data.length > 30000) {
|
||||
data = data.substring(0, 30000) + `\n\n... (truncated ${diff.length - 30000} chars) ...\n`
|
||||
}
|
||||
|
||||
let body
|
||||
if (data.trim()) {
|
||||
|
||||
Reference in New Issue
Block a user