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