[HK] More Travis CI testing