From 857e5a9c6f5b0848c1ed794874256c1bec37eaa0 Mon Sep 17 00:00:00 2001 From: Hugo Sales Date: Fri, 28 Oct 2022 00:04:25 +0100 Subject: [PATCH] [TESTS] Update PHPUnit config to use coverage cache --- phpunit.xml.dist | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/phpunit.xml.dist b/phpunit.xml.dist index d86d222e3d..3210694a60 100644 --- a/phpunit.xml.dist +++ b/phpunit.xml.dist @@ -5,11 +5,11 @@ backupGlobals="false" colors="true" bootstrap="tests/bootstrap.php" + cacheDirectory="var/phpunit/coverage_cache" + cacheResultFile="var/phpunit/result_cache" stopOnFailure="true" stopOnError="true" - cacheResult="true" - cacheResultFile=".phpunit_cache" - executionOrder="defects"> + cacheResult="true"> src