mirror of
https://github.com/predis/predis.git
synced 2026-08-19 14:02:01 +00:00
Viktor Szépe
ac259bdb6f
* Add complete CI * Fix CI * Fix spelling * Fix indentation * Fix CI * Fix CI * Revert disabling unit tests * Add coverage driver to CI * Start coverage debugging * Fix debugging ignored, and an empty message aborts the commit. * Stop debugging * Move TODO-s from source to GitHub issues * Ignore too long lines in certain files * Revert requiring php-parallel-lint/php-parallel-lint * formatting * try shorter formatting * formatting * fix syntax * try two paths? * Update .editorconfig Co-authored-by: Viktor Szépe <viktor@szepe.net> * indentation * make it a group Co-authored-by: Till Krüss <tillkruss@users.noreply.github.com>
58 lines
1.6 KiB
XML
58 lines
1.6 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<phpunit
|
|
bootstrap="tests/bootstrap.php"
|
|
colors="true"
|
|
convertErrorsToExceptions="true"
|
|
convertNoticesToExceptions="true"
|
|
convertWarningsToExceptions="true"
|
|
processIsolation="false"
|
|
stopOnError="false"
|
|
stopOnFailure="false"
|
|
beStrictAboutTestsThatDoNotTestAnything="true"
|
|
>
|
|
|
|
<testsuites>
|
|
<testsuite name="Predis Test Suite">
|
|
<directory>tests/Predis/</directory>
|
|
</testsuite>
|
|
</testsuites>
|
|
|
|
<coverage processUncoveredFiles="true">
|
|
<include>
|
|
<directory suffix=".php">./src</directory>
|
|
</include>
|
|
<report>
|
|
<clover outputFile="build/logs/clover.xml"/>
|
|
</report>
|
|
</coverage>
|
|
|
|
<groups>
|
|
<exclude>
|
|
<group>ext-phpiredis</group>
|
|
<group>ext-curl</group>
|
|
<group>realm-webdis</group>
|
|
<!-- <group>connected</group> -->
|
|
<!-- <group>disconnected</group> -->
|
|
<!-- <group>commands</group> -->
|
|
<!-- <group>slow</group> -->
|
|
</exclude>
|
|
</groups>
|
|
|
|
<filter>
|
|
<whitelist>
|
|
<directory suffix=".php">src/</directory>
|
|
</whitelist>
|
|
</filter>
|
|
|
|
<php>
|
|
<!-- Redis -->
|
|
<const name="REDIS_SERVER_HOST" value="127.0.0.1" />
|
|
<const name="REDIS_SERVER_PORT" value="6379" />
|
|
<const name="REDIS_SERVER_DBNUM" value="15" />
|
|
|
|
<!-- Webdis -->
|
|
<const name="WEBDIS_SERVER_HOST" value="127.0.0.1" />
|
|
<const name="WEBDIS_SERVER_PORT" value="7379" />
|
|
</php>
|
|
</phpunit>
|