diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2023-02-09 22:00:23 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-09 22:00:23 -0500 |
| commit | b3e88e0681248631b4bf8e4d9cd2e4d2c651f333 (patch) | |
| tree | cd526bb63ef712e21aef24ff77703727791f48d5 /tools/lint.js | |
| parent | 8da235adced567839912344ba092fb445683485a (diff) | |
refactor: deno_graph 0.43 upgrade (#17692)
Diffstat (limited to 'tools/lint.js')
| -rwxr-xr-x | tools/lint.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/lint.js b/tools/lint.js index 97c2447df..699341692 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -24,7 +24,8 @@ if (Deno.args.includes("--rs")) { if (!didLint) { await dlint(); - await dlintPreferPrimordials(); + // todo(dsherret): re-enable + // await dlintPreferPrimordials(); console.log("copyright checker"); await checkCopyright(); await clippy(); |