RiVal: hooking up to Travis