Rename phpdoc-to-github-pages to phpdoc-to-github-pages.yml (#1425)

- follow up to #1418, where I named the file without the required YML suffix - Do not run on pull requests
open-telemetry · Nov 5, 2024 · ea908b1 · ea908b1
1 parent 39cc549
commit ea908b1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/phpdoc-to-github-pages → .github/workflows/phpdoc-to-github-pages.yml b/.github/workflows/phpdoc-to-github-pages → .github/workflows/phpdoc-to-github-pages.yml
@@ -4,7 +4,6 @@ on:
   push:
     branches:
       - "main"
-  pull_request:
   workflow_dispatch:
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages