chore: php version upgraded to 7.2.5 in GitHub actions

keremkurtulus · Dec 15, 2020 · 464057b · 464057b
1 parent d92268f
commit 464057b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/run-tests.yml b/.github/workflows/run-tests.yml
@@ -19,7 +19,7 @@ jobs:
       - name: Setup PHP
         uses: shivammathur/setup-php@v1
         with:
-          php-version: 7.1
+          php-version: 7.2.5
           extensions: dom, curl, libxml, mbstring, zip, pcntl, pdo, sqlite, pdo_sqlite
           coverage: none