Merge pull request haskell#9234 from chreekat/b/better-curl-error

gitlab-ci/brew.sh/curl: fail with more noise
jgotoh · Sep 7, 2023 · 28e1c65 · 28e1c65
2 parents 24f336d + 8468521
commit 28e1c65
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitlab/brew.sh b/.gitlab/brew.sh
@@ -9,7 +9,7 @@ brew_dir="${CI_PROJECT_DIR}/.brew"
 
 if [ ! -e "${brew_dir}" ]; then
     mkdir -p "${brew_dir}"
-    curl -L "https://github.com/Homebrew/brew/archive/refs/tags/${BREW_VERSION}.tar.gz" | tar xz --strip 1 -C "${brew_dir}"
+    curl --fail-with-body -L "https://github.com/Homebrew/brew/archive/refs/tags/${BREW_VERSION}.tar.gz" | tar xz --strip 1 -C "${brew_dir}"
 fi
 
 export PATH="${brew_dir}/bin:${brew_dir}/sbin:$PATH"