Open dotta opened 11 years ago
for the record, this depends on what your jenkins job does -- if it merges before running validation, you'll get a failure immediately when the merge fails and validation won't be run
(for some defintion of validation)
Example, https://github.com/scala-ide/scala-ide/pull/309#issuecomment-13732750
I believe this is a regression, as this didn't use to happen in the past.