fix: add support for downloading arm64 macos image

josecorella · josecorella · commit 4ca29d719f9f · 2024-07-14T16:43:00.000-07:00
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 };
 }
 

Original file line number	Diff line number	Diff line change
`@@ -62,9 +62,10 @@ async function dafnyURLAndFullVersion(version, distribution) {`
`62`	`62`	`fullVersion = version;`
`63`	`63`	`}`
`64`	`64`	`const root = "https://github.com/dafny-lang/dafny/releases/download";`
	`65`	`+ // using the same approach as the dafny-lang/ide-vscode`
`65`	`66`	const url = `${root}/${versionPath}/dafny-${
`66`	`67`	`version == "2.3.0" ? "2.3.0.10506" : version`
`67`		- }-x64-${distribution}.zip`;
	`68`	+ }-${os.arch()}-${distribution}.zip`;
`68`	`69`	`return { url, fullVersion };`
`69`	`70`	`}`
`70`	`71`