From 39bef610407a6dc6d3ac13372e4ec5e903ec47c6 Mon Sep 17 00:00:00 2001 From: niksirbi Date: Fri, 22 Nov 2024 16:08:18 +0000 Subject: [PATCH] investigate event_name trigger --- .github/workflows/docs_build_and_deploy.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/docs_build_and_deploy.yml b/.github/workflows/docs_build_and_deploy.yml index 82c99cb..8677837 100644 --- a/.github/workflows/docs_build_and_deploy.yml +++ b/.github/workflows/docs_build_and_deploy.yml @@ -12,6 +12,9 @@ on: - '*' pull_request: workflow_dispatch: + release: + types: + - published jobs: linting: @@ -108,6 +111,7 @@ jobs: - name: Push the built HTML to gh-pages-test run: | # Detect if this is a release or from the main branch + echo "Event name: ${{ github.event_name }}" if [[ "${{ github.event_name }}" == "release" ]]; then # Get the tag name without the "refs/tags/" part version="${GITHUB_REF#refs/*/}"