From 02acdb1f21dc118a6d13902b5cb2b387d7d51954 Mon Sep 17 00:00:00 2001 From: Severin Neumann Date: Mon, 4 Nov 2024 17:25:15 +0100 Subject: [PATCH] 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