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.