Soeren.oldag has submitted this change and it was merged. Change subject: Removed travis configuration for hhvm as it is no longer supported by travis. ......................................................................
Removed travis configuration for hhvm as it is no longer supported by travis. Change-Id: I158ff53c3c2db730d91e8ef52af7b82161c32771 --- M .travis.yml 1 file changed, 2 insertions(+), 6 deletions(-) Approvals: Soeren.oldag: Checked; Looks good to me, approved diff --git a/.travis.yml b/.travis.yml index b488f91..b8f7bd0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -5,16 +5,12 @@ include: - env: DBTYPE=mysql php: 5.3 - #- env: DBTYPE=sqlite - # php: 5.3 + - env: DBTYPE=sqlite + php: 5.3 - env: DBTYPE=mysql php: 5.5 - env: DBTYPE=sqlite php: 5.5 - - env: DBTYPE=mysql - php: hhvm-nightly - - env: DBTYPE=sqlite - php: hhvm-nightly before_script: - bash ./build/travis/before_script.sh -- To view, visit https://gerrit.wikimedia.org/r/207796 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I158ff53c3c2db730d91e8ef52af7b82161c32771 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/WikidataQuality Gerrit-Branch: master Gerrit-Owner: Soeren.oldag <soeren_ol...@freenet.de> Gerrit-Reviewer: Soeren.oldag <soeren_ol...@freenet.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits