From ea908b161d3e354adbc22f0267da215bfa5445a9 Mon Sep 17 00:00:00 2001 From: Severin Neumann Date: Tue, 5 Nov 2024 10:38:15 +0100 Subject: [PATCH] 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 --- .../{phpdoc-to-github-pages => phpdoc-to-github-pages.yml} | 1 - 1 file changed, 1 deletion(-) rename .github/workflows/{phpdoc-to-github-pages => phpdoc-to-github-pages.yml} (98%) diff --git a/.github/workflows/phpdoc-to-github-pages b/.github/workflows/phpdoc-to-github-pages.yml similarity index 98% rename from .github/workflows/phpdoc-to-github-pages rename to .github/workflows/phpdoc-to-github-pages.yml index 69334e287..36648d157 100644 --- a/.github/workflows/phpdoc-to-github-pages +++ b/.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