Another fix for PHP 7.1 build

sanmai · Oct 25, 2020 · 40519d7 · 40519d7
1 parent 7180597
commit 40519d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -20,7 +20,7 @@ jobs:
         coverage: ['pcov']
         dependencies: ['']
         include:
-          - { php-version: '7.1', coverage: 'xdebug', dependencies: '--ignore-platform-req=php' }
+          - { php-version: '7.1', coverage: 'xdebug', dependencies: '' }
           - { php-version: '8.0', coverage: 'pcov', dependencies: '--ignore-platform-req=php' }
           - { php-version: '8.1', coverage: 'pcov', dependencies: '--ignore-platform-req=php' }