https://bugzilla.wikimedia.org/show_bug.cgi?id=45594
Antoine "hashar" Musso <has...@free.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|PATCH_TO_REVIEW |NEW
--- Comment #10 from Antoine "hashar" Musso <has...@free.fr> ---
PHP still segfaults but it happens very late in PHP execution (during
shutdown), so the HTML is actually generated and published at
https://integration.wikimedia.org/cover/mediawiki-core/master/php/
The change 90509 above adds a 'Coverage' section on
https://integration.wikimedia.org/ which points to the manually maintained list
of coverage reports we have:
https://integration.wikimedia.org/cover/
Keeping bug open since the Jenkins job producing the coverage code is always
failing due to PHP segfaulting (bug 43972).
--
You are receiving this mail because:
You are on the CC list for the bug.
You are the assignee for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
