Merge branch 'dkijania/limit_deb_publishing_attempts' into dkijania/p…

…ort_limit_deb_publishing_attempts_to_dev
MinaProtocol · Oct 4, 2024 · a3de8a1 · a3de8a1
2 parents c5c8549 + d13de59
commit a3de8a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/debian/publish.sh b/scripts/debian/publish.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -eox pipefail
+set -eo pipefail
 
 CLEAR='\033[0m'
 RED='\033[0;31m'