Hashar has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/399807 )
Change subject: Update ci-src-setup in mediawiki-core-php70-phan-docker
......................................................................
Update ci-src-setup in mediawiki-core-php70-phan-docker
Missed it in d1acb3438d
Change-Id: I09beedd81de93bab08898568ef5f9509fe52d674
---
M jjb/mediawiki.yaml
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/07/399807/1
diff --git a/jjb/mediawiki.yaml b/jjb/mediawiki.yaml
index 4074ffd..9305af0 100644
--- a/jjb/mediawiki.yaml
+++ b/jjb/mediawiki.yaml
@@ -436,7 +436,7 @@
--volume "$(pwd)"/cache:/cache \
--volume /srv/git:/srv/git \
--entrypoint "bash" \
- docker-registry.wikimedia.org/releng/ci-src-setup:0.1.0 \
+ docker-registry.wikimedia.org/releng/ci-src-setup:0.1.1 \
/srv/setup-mw.sh
# nothing else can be executed due to exec
- shell: |
--
To view, visit https://gerrit.wikimedia.org/r/399807
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I09beedd81de93bab08898568ef5f9509fe52d674
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits