jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/360582 )
Change subject: Set -o pipefail for operations/puppet docker job
......................................................................
Set -o pipefail for operations/puppet docker job
It seems some failures are being eaten by `tee`ing output into a log
file. This ensures that failures bubble-up to the top-level.
Change-Id: I28809f66baa61157d983eba01b797e98a46bb93b
---
M dockerfiles/contint-operations-puppet/run.sh
M jjb/operations-puppet.yaml
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Thcipriani: Looks good to me, approved
jenkins-bot: Verified
diff --git a/dockerfiles/contint-operations-puppet/run.sh
b/dockerfiles/contint-operations-puppet/run.sh
index 1abb2bb..251dca9 100644
--- a/dockerfiles/contint-operations-puppet/run.sh
+++ b/dockerfiles/contint-operations-puppet/run.sh
@@ -1,6 +1,6 @@
#!/usr/bin/env bash
-set -eux
+set -euxo pipefail
TEMP_DIR=$(mktemp -d)
LOG_DIR="$HOME/log"
diff --git a/jjb/operations-puppet.yaml b/jjb/operations-puppet.yaml
index 5504534..7a7b7b9 100644
--- a/jjb/operations-puppet.yaml
+++ b/jjb/operations-puppet.yaml
@@ -141,7 +141,7 @@
--env-file .env \
--volume /srv/git:/srv/git:ro \
--volume "$(pwd)"/log:/var/lib/jenkins/log \
-
ci-staging-docker-registry01.wmflabs.org/contint/operations-puppet:v0.0.2
+
ci-staging-docker-registry01.wmflabs.org/contint/operations-puppet:v0.0.3
wrappers:
timeout: 1 # minute
publishers:
--
To view, visit https://gerrit.wikimedia.org/r/360582
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I28809f66baa61157d983eba01b797e98a46bb93b
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Thcipriani <tcipri...@wikimedia.org>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: Thcipriani <tcipri...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
