jenkins-bot has submitted this change and it was merged.

Change subject: mediawiki-core-code-coverage now uses shell installer
......................................................................


mediawiki-core-code-coverage now uses shell installer

Change-Id: I9a5c76f53cbad7069a6278bcb00435cfdb697ae8
---
M mediawiki.yaml
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Hashar: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/mediawiki.yaml b/mediawiki.yaml
index f391c78..5b76043 100644
--- a/mediawiki.yaml
+++ b/mediawiki.yaml
@@ -175,7 +175,7 @@
      - wipe-workspace
      - get-mw-core:
         branch: 'master'
-     - mw-install-sqlite
+     - mw-install-sqlite-2
      - shell: |
         php tests/phpunit/phpunit.php \
             --exclude-group Dump,Broken,ParserFuzz,Stub \

-- 
To view, visit https://gerrit.wikimedia.org/r/90038
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I9a5c76f53cbad7069a6278bcb00435cfdb697ae8
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins-job-builder-config
Gerrit-Branch: master
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to