Use php instead of php8.0

php · Apr 26, 2024 · af80d3b · af80d3b
1 parent 847e81d
commit af80d3b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/full_render_doc-en_test.yml b/.github/workflows/full_render_doc-en_test.yml
@@ -23,7 +23,7 @@ jobs:
           repository: "php/doc-base"
 
       - name: "Build documentation for doc-en"
-        run: "php8.0 doc-base/configure.php --disable-libxml-check --enable-xml-details --redirect-stderr-to-stdout"
+        run: "php doc-base/configure.php --disable-libxml-check --enable-xml-details --redirect-stderr-to-stdout"
 
       - name: "Render documentation for doc-en"
-        run: "php8.0 phd/render.php --docbook doc-base/.manual.xml --package PHP --format xhtml --format bigxhtml --format php --format tocfeed --forceindex"
+        run: "php phd/render.php --docbook doc-base/.manual.xml --package PHP --format xhtml --format bigxhtml --format php --format tocfeed --forceindex"