We tie to:
- a stable release, if possible
- a fixed commit of master otherwise

We tie to the fixed commit of master rather than HEAD as the primary purpose is to keep an eye on HHVM improvements and regressions - if we tie to HEAD it's a moving target, and not so useful.