Skip to content

Commit cdc7d5f

Browse files
authored
chore: group beta PR logs (anomalyco#24236)
1 parent ec20162 commit cdc7d5f

1 file changed

Lines changed: 15 additions & 2 deletions

File tree

script/beta.ts

Lines changed: 15 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -57,6 +57,19 @@ function lines(prs: PR[]) {
5757
return prs.map((x) => `- #${x.number}: ${x.title}`).join("\n") || "(none)"
5858
}
5959

60+
function group(title: string) {
61+
if (process.env.GITHUB_ACTIONS !== "true") {
62+
console.log(title)
63+
return { [Symbol.dispose]() {} }
64+
}
65+
console.log(`::group::${title}`)
66+
return {
67+
[Symbol.dispose]() {
68+
console.log("::endgroup::")
69+
},
70+
}
71+
}
72+
6073
async function typecheck() {
6174
console.log(" Running typecheck...")
6275

@@ -227,8 +240,8 @@ async function main() {
227240
const failed: FailedPR[] = []
228241

229242
for (const [idx, pr] of prs.entries()) {
230-
console.log(`\nProcessing PR ${idx + 1}/${prs.length} #${pr.number}: ${pr.title}`)
231-
243+
console.log()
244+
using _ = group(`Processing PR ${idx + 1}/${prs.length} #${pr.number}: ${pr.title}`)
232245
console.log(" Fetching PR head...")
233246
try {
234247
await $`git fetch origin pull/${pr.number}/head:pr/${pr.number}`

0 commit comments

Comments
 (0)