Tools: master eb56109e

Diff Back to Repository
Author Committer Branch Timestamp Parent
dregad dregad master 2017-04-13 05:03 master ed695667
Changeset

Nightly builds: use specific PHP version using phpenv

To cope with outdated PHP version preventing nightly builds to complete
on master branch due to composer dependencies, phpenv has been setup on
the server and the script modified to switch to the specified version.

Fixes #22643
mod - nightly-builds.sh Diff File