Jenkins now builds PR