fix: add support for downloading arm64 macos image

dafny-lang · Jul 12, 2024 · 90ce50c · 90ce50c
1 parent f2a6243
commit 90ce50c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/index.js b/index.js
@@ -62,9 +62,10 @@ async function dafnyURLAndFullVersion(version, distribution) {
     fullVersion = version;
   }
   const root = "https://github.com/dafny-lang/dafny/releases/download";
+  // using the same approach as the dafny-lang/ide-vscode
   const url = `${root}/${versionPath}/dafny-${
     version == "2.3.0" ? "2.3.0.10506" : version
-  }-x64-${distribution}.zip`;
+  }-${os.arch()}-${distribution}.zip`;
   return { url, fullVersion };
 }