Closed platisd closed 2 years ago
GitHub's maximum comment length of 65536 needs to be taken into account when posting the results. For now, let's work around it by warning the user of omitted results when the report is too large.
Fixes #11
GitHub's maximum comment length of 65536 needs to be taken into account when posting the results. For now, let's work around it by warning the user of omitted results when the report is too large.
Fixes #11