Merge e5ed6d6 into ff5c876

JBZoo · Apr 8, 2024 · 5261c45 · 5261c45
2 parents ff5c876 + e5ed6d6
commit 5261c45
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
@@ -39,6 +39,11 @@ jobs:
           fetch-depth: 0
           ref: ${{ github.event.inputs.branch || github.ref }}
 
+      - name: Setup PHP
+        uses: shivammathur/setup-php@v2
+        with:
+          php-version: 8.3
+
       # We need it to build benchmark tool. See ./tests/Benchmarks
       - name: Build project
         run: make build --no-print-directory
@@ -82,6 +87,11 @@ jobs:
 #        uses: shivammathur/setup-php@v2
 #        with:
 #          php-version: 8.3
+#
+#      - name: Setup PHP
+#        uses: shivammathur/setup-php@v2
+#        with:
+#          php-version: 8.3
 #          coverage: none
 #          ini-values: opcache.enable_cli=1, opcache.jit=1255
 #