Merge branch 'main' into pr/2021-11/Reservoir_sampling

sanmai · Nov 27, 2021 · d261321 · d261321
2 parents fb624ef + d846caf
commit d261321
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -21,8 +21,8 @@ jobs:
         dependencies: ['']
         include:
           - { 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' }
+          - { php-version: '8.0', coverage: 'pcov', dependencies: '' }
+          - { php-version: '8.1', coverage: 'pcov', dependencies: '' }
 
     steps:
       - name: Checkout code