From 3210ecf639626a16cbad7e70854a37043b1d4d22 Mon Sep 17 00:00:00 2001 From: Hugo Talbot Date: Thu, 1 Aug 2024 13:08:49 +0200 Subject: [PATCH] [GitHub] Add an action to trigger doc generation and publication --- .github/workflows/trigger-doc.yml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 .github/workflows/trigger-doc.yml diff --git a/.github/workflows/trigger-doc.yml b/.github/workflows/trigger-doc.yml new file mode 100644 index 000000000..5bc759947 --- /dev/null +++ b/.github/workflows/trigger-doc.yml @@ -0,0 +1,15 @@ +name: Trigger DocGenerateAndPublish Workflow + +on: + workflow_dispatch: + push: + branches: + - master + +jobs: + trigger_workflow: + runs-on: ubuntu-latest + steps: + - run: gh workflow run DocGenerateAndPublish --ref gen + env: + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}