1
0
Fork 0
mirror of https://github.com/denoland/deno.git synced 2024-12-21 23:04:45 -05:00

chore: fix linting (#25315)

I accidentally broke this earlier.
This commit is contained in:
David Sherret 2024-08-30 17:18:47 -04:00 committed by GitHub
parent 4a5642779e
commit 55137c9db4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -88,7 +88,12 @@ async function dlint() {
}), }),
); );
} }
await Promise.allSettled(pending); const results = await Promise.allSettled(pending);
for (const result of results) {
if (result.status === "rejected") {
throw new Error(result.reason);
}
}
} }
// `prefer-primordials` has to apply only to files related to bootstrapping, // `prefer-primordials` has to apply only to files related to bootstrapping,