Fix coverage job

nepada · Nov 5, 2020 · 51b1202 · 51b1202
1 parent 7db7d57
commit 51b1202
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -68,12 +68,12 @@ jobs:
       - uses: shivammathur/setup-php@v2
         with:
           php-version: 7.4
-          coverage: none
+          coverage: xdebuge
       - run: composer global require php-coveralls/php-coveralls
       - name: Build
         run: composer update --no-interaction --no-progress --prefer-dist --prefer-stable
       - name: Calculate coverage
-        run: vendor/bin/tester -c tests/php.ini -p phpdbg tests --coverage coverage.xml --coverage-src src
+        run: vendor/bin/tester -c tests/php-coverage.ini tests --coverage coverage.xml --coverage-src src
       - name: Upload Coverage Report
         env:
           COVERALLS_REPO_TOKEN: ${{ secrets.GITHUB_TOKEN }}

diff --git a/tests/php-coverage.ini b/tests/php-coverage.ini
@@ -1,3 +1,7 @@
+[php]
+extension=json.so
+extension=tokenizer.so
+
 upload_max_filesize = 1M
 
 zend_extension=xdebug.so