diff options
author | David Sherret <dsherret@users.noreply.github.com> | 2024-08-30 17:18:47 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-08-30 21:18:47 +0000 |
commit | 55137c9db4ed7226a6a68256c3cb9fdad7ad7c83 (patch) | |
tree | 1c6a922979d961dd0098fc2558350bcb62b3abe4 /tools | |
parent | 4a5642779e133425f4e6c75865de28952c761a8d (diff) |
chore: fix linting (#25315)
I accidentally broke this earlier.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/lint.js | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/lint.js b/tools/lint.js index 5f97e3cb7..9b3260b9e 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -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, |