Last modified: 2013-01-17 19:03:46 UTC
Gerrit change #40343 triggered https://integration.mediawiki.org/ci/job/mediawiki-core-phpunit-databaseless/699/console and https://integration.mediawiki.org/ci/job/mediawiki-core-phpunit-databaseless/700/console which both fail at test #1281 and with "exec returned: 139".
I have no idea what might have gone wrong. Since the change has been abandoned meanwhile, I am not willing to invest anytime in investigating this issue. If it occurs again, we will actually investigate it. Meantime, I am closing this bug, thanks for reporting though :)
(Wild guess :-).) *** This bug has been marked as a duplicate of bug 43972 ***
Yeah that is indeed a duplicate of bug 43972 (exit code 139 is a PHP segfault). I originally closed this bug report cause I thought it was "just" an intermittent failure.