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.

 

 
