ci: Make arm scripts fail on error

PostgREST · May 9, 2024 · 711202c · 711202c
1 parent 9dd3f3c
commit 711202c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -Eeuo pipefail
 
 # This script publishes the Docker ARM images to Docker Hub.