diff --git a/Dockerfile b/Dockerfile index f64eecd..0e3bc2d 100644 --- a/Dockerfile +++ b/Dockerfile @@ -2,6 +2,11 @@ ARG PHP_VERSION=8.3 FROM rosven9856/php:$PHP_VERSION +RUN apk add --update --no-cache --virtual .build-deps ${PHPIZE_DEPS} \ + && pecl install pcov \ + && docker-php-ext-enable pcov \ + && apk del .build-deps + RUN addgroup -g 1000 --system php RUN adduser -G php --system -D -s /bin/sh -u 1000 php diff --git a/infection.json5.dist b/infection.json5.dist new file mode 100644 index 0000000..4310ce4 --- /dev/null +++ b/infection.json5.dist @@ -0,0 +1,19 @@ +{ + "$schema": "vendor/infection/infection/resources/schema.json", + "source": { + "directories": [ + "src" + ] + }, + "logs": { + "text": "var/infection.log", + "stryker": { + "report": "/^\\d+\\.\\d+\\.x$/" + }, + }, + "tmpDir": "var", + "minCoveredMsi": 20, + "mutators": { + "@default": true + } +}