Rename phpdoc-to-github-pages to phpdoc-to-github-pages.yml

follow up to #1418, where I named the file without the required YML suffix
open-telemetry · Nov 4, 2024 · b1420de · b1420de
1 parent 39cc549
commit b1420de
Showing 1 changed file with 0 additions and 0 deletions.
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