From 0af746d048869e137dbe1d55198212fbe11f9114 Mon Sep 17 00:00:00 2001 From: Shantanu <12621235+hauntsaninja@users.noreply.github.com> Date: Mon, 21 Mar 2022 15:41:31 -0700 Subject: [PATCH] mypy_primer: mention if output is truncated (#7525) --- .github/workflows/mypy_primer_comment.yml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/.github/workflows/mypy_primer_comment.yml b/.github/workflows/mypy_primer_comment.yml index 150099130..f0ad1e9f9 100644 --- a/.github/workflows/mypy_primer_comment.yml +++ b/.github/workflows/mypy_primer_comment.yml @@ -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()) {