From b7dac6a8af305159bf7a5edb2c1eaa97a16fc07d Mon Sep 17 00:00:00 2001 From: Wolfgang Jeltsch Date: Mon, 21 Feb 2022 22:09:29 +0200 Subject: [PATCH] Switch automated builds from using `wget` to using `curl` --- .github/workflows/quick-and-dirty-build.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/quick-and-dirty-build.yaml b/.github/workflows/quick-and-dirty-build.yaml index c3cb4cd..6e911f2 100644 --- a/.github/workflows/quick-and-dirty-build.yaml +++ b/.github/workflows/quick-and-dirty-build.yaml @@ -21,7 +21,7 @@ jobs: - name: Get Isabelle from upstream if not found in cache run: | if [ ! -e /opt/Isabelle${{ env.isabelle-version }} ]; then - wget --no-verbose --output-document=- https://mirror.clarkson.edu/isabelle/dist/Isabelle${{ env.isabelle-version }}_linux.tar.gz | + curl --fail --silent --show-error https://mirror.clarkson.edu/isabelle/dist/Isabelle${{ env.isabelle-version }}_linux.tar.gz | tar --directory=/opt --extract --gzip fi - name: Check out repository