Only push coverage reports for a single version of PHP