From 032f7ab48f5b23f12bc878d394b5b45afb651544 Mon Sep 17 00:00:00 2001 From: Ferry Cools Date: Mon, 1 Sep 2025 09:10:42 +0200 Subject: [PATCH] Update deploy-docs.yml - Add deployment of the documentation on a published release. - Cut deployment of the documentation on push to the `main` branch. --- .github/workflows/deploy-docs.yml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index 2742432e..cd1b1bb9 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -1,9 +1,11 @@ name: Deploy Documentation on: - push: - branches: - - main + release: + types: [published] +# push: +# branches: +# - main # pull_request: # branches: # - main