09-25-2015, 09:24 PM
Since we've established the policy that PRs can only be merged after a successful CI build, it makes little sense to have Travis do two builds - one for the Push and one for the actual PR. We could save time if only the PR build was activated.
Is it even possible to set that up? I have no idea where in the project settings to look for this.
Is it even possible to set that up? I have no idea where in the project settings to look for this.