From a0af53fea134f712408fa2d2d20078dd8ca7d0e6 Mon Sep 17 00:00:00 2001 From: David Sherret Date: Tue, 5 Sep 2023 23:07:55 -0500 Subject: chore: pin third_party (#20386) --- tools/util.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/util.js') diff --git a/tools/util.js b/tools/util.js index 92ab18a7f..36f8dac14 100644 --- a/tools/util.js +++ b/tools/util.js @@ -138,7 +138,7 @@ export function getPrebuiltToolPath(toolName) { } const downloadUrl = - `https://raw.githubusercontent.com/denoland/deno_third_party/master/prebuilt/${platformDirName}`; + `https://raw.githubusercontent.com/denoland/deno_third_party/7f1a41fee1bfbffd56674269db8f1e19263cf751/prebuilt/${platformDirName}`; export async function downloadPrebuilt(toolName) { const spinner = wait("Downloading prebuilt tool: " + toolName).start(); -- cgit v1.2.3