From 711202c2a04d229aa56a40879c6126c92d99d217 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Thu, 9 May 2024 21:43:42 +0200
Subject: [PATCH] ci: Make arm scripts fail on error

---
 .github/scripts/arm/build.sh          | 1 +
 .github/scripts/arm/docker-publish.sh | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/scripts/arm/build.sh b/.github/scripts/arm/build.sh
index 989a3cdaf..e328881e8 100644
--- a/.github/scripts/arm/build.sh
+++ b/.github/scripts/arm/build.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -Eeuo pipefail
 
 # This script builds PostgREST in a remote ARM server
 
diff --git a/.github/scripts/arm/docker-publish.sh b/.github/scripts/arm/docker-publish.sh
index 55b5c748f..fb810b71e 100644
--- a/.github/scripts/arm/docker-publish.sh
+++ b/.github/scripts/arm/docker-publish.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -Eeuo pipefail
 
 # This script publishes the Docker ARM images to Docker Hub.