chore(ci): fold pyrefly diff comments (#32685)

This commit is contained in:
-LAN- authored and GitHub committed 2026-02-27 16:23:59 +09:00
1 parent 8ff51a58fd
commit 661af404e9
2 files changed
+17 -3

No files matched your search

+9 -2
View File
@@ -77,8 +77,15 @@ jobs:
}
const body = diff.trim()
? `### Pyrefly Diff (base → PR)\\n\\`\\`\\`diff\\n${diff}\\n\\`\\`\\``
: '### Pyrefly Diff\\nNo changes detected.';
? `### Pyrefly Diff
<details>
<summary>base → PR</summary>
\`\`\`diff
${diff}
\`\`\`
</details>`
: '### Pyrefly Diff\nNo changes detected.';
await github.rest.issues.createComment({
issue_number: prNumber,