[Wikidata-bugs] [Maniphest] [Commented On] T142158: Job mediawiki-extensions-php55 frequently fails due to "Segmentation fault"

[gerritbot]

gerritbot added a comment.

Change 310673 merged by jenkins-bot:
Reapply "Dump corefiles on segfaults"

https://gerrit.wikimedia.org/r/310673

TASK DETAIL

https://phabricator.wikimedia.org/T142158

EMAIL PREFERENCES

https://phabricator.wikimedia.org/settings/panel/emailpreferences/

To: gerritbot
Cc: Stashbot, Jay8g, hashar, gerritbot, EBernhardson, matmarex, KartikMistry, Nikerabbit, daniel, hoo, bd808, greg, Paladox, dcausse, Legoktm, TerraCodes, Jdforrester-WMF, Luke081515, Krinkle, Aklapper, Lewizho99, Maathavan, D3r1ck01, Liudvikas, Izno, Wikidata-bugs, aude, zeljkofilipin, Mbch331

_______________________________________________
Wikidata-bugs mailing list
Wikidata-bugs@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs