-
Thijs Kinkhorst authored
The segfault happens in the coverage report. Since we send coverage info only with PHP 5.6, avoid running it entirely, saves buildtime aswell.
dbdddf39
Code owners
Assign users and groups as approvers for specific file changes. Learn more.