From c1ff5e2117f7d4ea086f0c9b0ec683492993c37f Mon Sep 17 00:00:00 2001 From: Ferry Cools Date: Sat, 30 Aug 2025 11:41:27 +0200 Subject: [PATCH] Update deploy-docs.yml Cut deployment at PR targeting the main branch. --- .github/workflows/deploy-docs.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index 6522e29d..b9f05079 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -4,9 +4,9 @@ on: push: branches: - main - pull_request: - branches: - - main +# pull_request: +# branches: +# - main permissions: contents: write