On 2017-06-19, Gary Gregory wrote: > Is it just me or have there been Jenkins failures left and right for the > last week or so?
That's the Jenkins job I've created for github pull requests and it fails whenever there are merge conflicts, for example. Right now it looks as if the workspace was caught in an unhealthy state, I'll wipe it and reconfigure the job to perform clean checkouts. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
