Simple project started segfaulting on 7.1-dev - where to report that?

Hi! Couple minutes ago I came across segfault in nightly builds of PHP. Normally I will report it at bugs.php.net but environment is little complicated here. - Segfault is only present on TravisCI -> so maybe bug should be reported to Travis-CI? - XDebug is loaded -> it may be a reason of segfault, since it’s also a nightly build - Segfault is produced by some unknown (to me) PhpUnit code -> author of PhpUnit may be helpful here - It originates from PHP core -> maybe bugs.php.net will be the best place? ;) I always try to debug everything as much as possible before reporting, but in this case I’m little puzzled what to do next. Travis-CI build which segfaults can be found here: https://travis-ci.org/kiler129/CherryHttp/jobs/99736122 -- Best regards. Grzegorz Zdanowski