Does Travis CI take my PR and merge it against master and then test that? If so, I think it merged against a time the build was broken. Is there a way to kick off another build without pushing some non-meaningful change?