jenkins-bot has submitted this change and it was merged.
Change subject: Switch travis to use hhvm instead of hhvm-nightly
..
Switch travis to use hhvm instead of hhvm-nightly
hhvm-nightly is no longer supported:
https://githu
Aude has uploaded a new change for review.
https://gerrit.wikimedia.org/r/210674
Change subject: Switch travis to use hhvm instead of hhvm-nightly
..
Switch travis to use hhvm instead of hhvm-nightly
hhvm-nightly is no longer
Jeroen De Dauw has submitted this change and it was merged.
Change subject: Switch travis to use hhvm instead of hhvm-nightly
..
Switch travis to use hhvm instead of hhvm-nightly
hhvm-nightly is no longer supported:
https://gi
Aude has uploaded a new change for review.
https://gerrit.wikimedia.org/r/207975
Change subject: Switch travis to use hhvm instead of hhvm-nightly
..
Switch travis to use hhvm instead of hhvm-nightly
hhvm-nightly is no longer