Migrate coverage reporting from Coveralls to Codecov

[Copilot]

Replaces Coveralls with Codecov for coverage reporting, mirroring the changes made in brick/math#109.

Changes

• .github/workflows/ci.yml

  • Switch coverage driver from xdebug to pcov
  • Output clover report to clover.xml (root); remove buggy mkdir -p mkdir -p build/logs line
  • Replace php-coveralls upload step with codecov/codecov-action@v5

• README.md — Replace Coveralls badge with Codecov badge

• composer.json — Remove php-coveralls/php-coveralls from require-dev

Original prompt

Migrate from Coveralls to Codecov for coverage reporting, mirroring the changes made in brick/math#109.

Changes required

1. .github/workflows/ci.yml

In the phpunit job, make the following changes:

• Change coverage: xdebug to coverage: pcov in the Setup PHP step.

• In the "Run PHPUnit with coverage" step, change the clover output path from build/logs/clover.xml to clover.xml (and remove the mkdir -p mkdir -p build/logs line — note: there is a typo/bug with double mkdir -p in the current file, just remove it entirely). The updated step should be:

  - name: Run PHPUnit with coverage
    run: vendor/bin/phpunit --coverage-clover clover.xml
    if: ${{ matrix.php-version == env.COVERAGE_PHP_VERSION }}

• Replace the "Upload coverage report to Coveralls" step with:

  - name: Upload coverage to Codecov
    uses: codecov/codecov-action@v5
    env:
      CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
    if: ${{ matrix.php-version == env.COVERAGE_PHP_VERSION }}

2. README.md

Replace the Coveralls badge with a Codecov badge:

• Remove:

  [![Coverage Status](https://coveralls.io/repos/github/brick/date-time/badge.svg?branch=master)](https://coveralls.io/github/brick/date-time?branch=master)
  

• Add:

  [![Coverage](https://codecov.io/github/brick/date-time/graph/badge.svg)](https://codecov.io/github/brick/date-time)
  

3. composer.json

Remove php-coveralls/php-coveralls from the require-dev section.

This pull request was created from Copilot chat.

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

[BenMorel]

Handled in #129.