From ade7234b8b02555cf63504bf717dae48617ddcd0 Mon Sep 17 00:00:00 2001 From: elena Date: Mon, 2 Sep 2024 18:40:09 +0200 Subject: [PATCH] publish docs on tag --- .github/workflows/docs.yml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 31a5e1da..a534b721 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -103,12 +103,9 @@ jobs: cd docs make html -# event type from https://stackoverflow.com/questions/61886993/in-github-actions-how-to-get-the-type-of-a-trigger-event-as-a-variable -# conditional control ("if:") from https://docs.github.com/en/actions/using-jobs/using-conditions-to-control-job-execution -# dependency from https://docs.github.com/en/actions/using-jobs/using-jobs-in-a-workflow - deploy-docs: - if: github.event.action == 'push' + name: Publish documentation + if: startsWith(github.ref, "refs/tags/") needs: build-docs runs-on: ubuntu-latest