From 3f9ef3b1b8240a03dcbc92be353e3e316a58fc79 Mon Sep 17 00:00:00 2001 From: Avasam Date: Sat, 28 Jan 2023 06:49:56 -0500 Subject: [PATCH] Increase `mypy_primer` comment length --- .github/workflows/mypy_primer_comment.yml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/mypy_primer_comment.yml b/.github/workflows/mypy_primer_comment.yml index 172bb9cfb86c..0be8c376bb60 100644 --- a/.github/workflows/mypy_primer_comment.yml +++ b/.github/workflows/mypy_primer_comment.yml @@ -50,9 +50,11 @@ jobs: script: | const fs = require('fs') let data = fs.readFileSync('fulldiff.txt', { encoding: 'utf8' }) - // posting comment fails if too long, so truncate - if (data.length > 30000) { - let truncated_data = data.substring(0, 30000) + + // Maximum comment length is 65536 characters. We need much less than 236 for extra text. + const MAX_LENGTH = 65300 + if (data.length > MAX_LENGTH) { + let truncated_data = data.substring(0, MAX_LENGTH) let lines_truncated = data.split('\n').length - truncated_data.split('\n').length data = truncated_data + `\n\n... (truncated ${lines_truncated} lines) ...\n` }