https://bugzilla.wikimedia.org/show_bug.cgi?id=46723
--- Comment #2 from Antoine "hashar" Musso <[email protected]> --- From bug 47031 : https://gerrit.wikimedia.org/r/#/c/57436/ has been merged although it is faulty. The unit tests ran on patchset upload did catch the issue: https://integration.wikimedia.org/ci/job/mediawiki-core-phpunit-misc/5222/console : FAILURE But the gating run after CR+2 did not catch it: https://integration.wikimedia.org/ci/job/mediawiki-core-phpunit-misc/5223/console : SUCCESS The root cause is that despite the ZUUL_REF points to the proper merge commit, the Jenkins Git plugin seems to use the current origin/master to build. -- You are receiving this mail because: You are the assignee for the bug. You are watching all bug changes. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
