Just from looking at their site I assume the VMs are provide by Heroku as Heroku use their service and you can deploy directly to Heroku. Just a hunch (I'd never heard of Travis CI before, sounds good though).
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Just from looking at their site I assume the VMs are provide by Heroku as Heroku use their service and you can deploy directly to Heroku. Just a hunch (I'd never heard of Travis CI before, sounds good though).