From 778e941329b40c02dbd1f577ffe9da69022e5797 Mon Sep 17 00:00:00 2001 From: AliceMazzoleni99 Date: Tue, 21 Apr 2026 11:56:19 +0200 Subject: [PATCH] updated documentation workflow (#1436) --- .github/workflows/build_documentation.yml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build_documentation.yml b/.github/workflows/build_documentation.yml index 083b548e6..64ef03451 100644 --- a/.github/workflows/build_documentation.yml +++ b/.github/workflows/build_documentation.yml @@ -6,6 +6,10 @@ on: branches: - developer - main + push: + branches: + - developer + - main release: types: - published @@ -87,7 +91,7 @@ jobs: - name: Copy documentation and Release notes to versioned folder - if: github.event_name == 'release' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) + if: github.event_name == 'release' || (github.event_name == 'push') run: | VERSION="${{ steps.version.outputs.version }}" mkdir -p "gh-pages/${VERSION}" @@ -99,7 +103,7 @@ jobs: fi - name: Commit and Push changes to gh-pages - if: github.event_name == 'release' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) + if: github.event_name == 'release' || (github.event_name == 'push') run: | cd gh-pages git config --global user.name 'github-actions'