fix php version

Wtyd · May 10, 2024 · be0d443 · be0d443
1 parent 286c0d3
commit be0d443
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -120,6 +120,12 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v4
 
+      - name: Install PHP
+        uses: shivammathur/setup-php@v2 
+        with:
+          php-version: '7.1'
+          coverage: none
+
       - name: Delete Old Builds
         run: rm builds/githooks builds/php7.1/githooks builds/php7.3/githooks