Travis-CI pin