Skip to content

chore: more specific return type for chunk() method #1688

chore: more specific return type for chunk() method

chore: more specific return type for chunk() method #1688

Workflow file for this run

# https://help.github.com/en/categories/automating-your-workflow-with-github-actions
on:
push:
paths:
- "**.php"
- ".github/workflows/*.yml"
- ".scrutinizer.yml"
- "composer.json"
branches:
- master
pull_request:
paths:
- "**.php"
- ".github/workflows/*.yml"
- ".scrutinizer.yml"
- "composer.json"
name: "Mutations testing"
jobs:
run:
name: "Mutation Testing"
runs-on: ${{ matrix.operating-system }}
strategy:
fail-fast: false
matrix:
operating-system: [ubuntu-latest]
php-versions: ["8.1"]
steps:
- name: Set git to use LF
run: |
git config --global core.autocrlf false
git config --global core.eol lf
- name: Checkout
uses: actions/checkout@v4
- name: Install PHP
uses: shivammathur/setup-php@v2
with:
php-version: ${{ matrix.php-versions }}
coverage: pcov
extensions: gd,mbstring
- name: Install dependencies
uses: ramsey/composer-install@v2
- name: Run Grumphp
env:
STRYKER_DASHBOARD_API_KEY: ${{ secrets.STRYKER_DASHBOARD_API_KEY }}
run: vendor/bin/grumphp run --tasks=infection -n
- name: Send feedback on Github
if: ${{ failure() }}
run: |
vendor/bin/infection -j2 --logger-github