"tools/travis/pr-build.sh" did not exist on "ecf9c6440453802f7eaf3583b8d990d65eec1cef"