Unzip exits with a non zero exit code so the remove of the zip file should be as an or statement.

dlemstra · dlemstra · commit 87d1a70f66e7 · 2025-07-24T19:05:31.000+02:00
diff --git a/.github/build/windows/download-configure.sh b/.github/build/windows/download-configure.sh
@@ -23,8 +23,7 @@ download_configure()
   download_release "Configure" "$version" "Configure.Release.arm64.exe"
   download_release "Configure" "$version" "Configure.Release.x86.exe"
   download_release "Configure" "$version" "files.zip"
-  unzip -o "files.zip"
-  rm "files.zip"
+  unzip -o "files.zip" || rm "files.zip"
 
   cd ..
 }

Original file line number	Diff line number	Diff line change
`@@ -23,8 +23,7 @@ download_configure()`
`23`	`23`	`download_release "Configure" "$version" "Configure.Release.arm64.exe"`
`24`	`24`	`download_release "Configure" "$version" "Configure.Release.x86.exe"`
`25`	`25`	`download_release "Configure" "$version" "files.zip"`
`26`		`- unzip -o "files.zip"`
`27`		`- rm "files.zip"`
	`26`	`+ unzip -o "files.zip" \|\| rm "files.zip"`
`28`	`27`
`29`	`28`	`cd ..`
`30`	`29`	`}`