diff --git a/.github/scripts/arm/build.sh b/.github/scripts/arm/build.sh index ce32f5db1..59ec677e3 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.