workflows: fail on curl error

7z will fail if given an HTTP error page, so this is only a cleanup. Signed-off-by: Benjamin Gilbert <[email protected]>
bgilbert · Nov 1, 2023 · ef61785 · ef61785
1 parent e9cc7d5
commit ef61785
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/python.yml b/.github/workflows/python.yml
@@ -86,7 +86,7 @@ jobs:
         mkdir -p c:\\openslide
         cd c:\\openslide
         zipname=openslide-win64-${BIN_RELEASE}
-        curl -LO "https://github.com/openslide/openslide-bin/releases/download/v${BIN_RELEASE}/${zipname}.zip"
+        curl -LfO "https://github.com/openslide/openslide-bin/releases/download/v${BIN_RELEASE}/${zipname}.zip"
         7z x ${zipname}.zip
         echo "OPENSLIDE_PATH=c:\\openslide\\${zipname}\\bin" >> $GITHUB_ENV
     - name: Build wheel