From c91b10c88bdace06b4dd5333813a5ed58af61e88 Mon Sep 17 00:00:00 2001
From: r-vdp <ramses@well-founded.dev>
Date: Thu, 14 Mar 2024 13:34:13 +0100
Subject: [PATCH] Make curl fail when the request was not successful

---
 .github/workflows/build-hds.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/build-hds.yaml b/.github/workflows/build-hds.yaml
index fec5771..58add15 100644
--- a/.github/workflows/build-hds.yaml
+++ b/.github/workflows/build-hds.yaml
@@ -34,6 +34,8 @@ jobs:
 
       - name: "download holo-nixpkgs tag"
         run: |
+          set -eou pipefail
+
           curl -v -L \
                --fail-with-body \
                -H "Authorization: Bearer ${{ secrets.HDS_ACCESS_KEY }}" \