From b1420ded6762d4f1d85cbdd60bd6a6c0f052bf95 Mon Sep 17 00:00:00 2001 From: Severin Neumann Date: Mon, 4 Nov 2024 15:54:07 +0100 Subject: [PATCH 1/2] 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 --- .../{phpdoc-to-github-pages => phpdoc-to-github-pages.yml} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{phpdoc-to-github-pages => phpdoc-to-github-pages.yml} (100%) diff --git a/.github/workflows/phpdoc-to-github-pages b/.github/workflows/phpdoc-to-github-pages.yml similarity index 100% rename from .github/workflows/phpdoc-to-github-pages rename to .github/workflows/phpdoc-to-github-pages.yml From 02acdb1f21dc118a6d13902b5cb2b387d7d51954 Mon Sep 17 00:00:00 2001 From: Severin Neumann Date: Mon, 4 Nov 2024 17:25:15 +0100 Subject: [PATCH 2/2] Do not run on pull requests --- .github/workflows/phpdoc-to-github-pages.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/phpdoc-to-github-pages.yml b/.github/workflows/phpdoc-to-github-pages.yml index 69334e287..36648d157 100644 --- a/.github/workflows/phpdoc-to-github-pages.yml +++ 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