From 84a71c7a331ea938f5012daab71999998434c43c Mon Sep 17 00:00:00 2001 From: Hugo Talbot Date: Tue, 2 Jul 2024 00:30:40 +0200 Subject: [PATCH 1/2] Add action triggering the doc generation --- .github/workflows/trigger_doc_gen.yml | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 .github/workflows/trigger_doc_gen.yml diff --git a/.github/workflows/trigger_doc_gen.yml b/.github/workflows/trigger_doc_gen.yml new file mode 100644 index 000000000..e6e0a7787 --- /dev/null +++ b/.github/workflows/trigger_doc_gen.yml @@ -0,0 +1,17 @@ +name: Trigger doc generation + +on: + push: + branches: + - master + schedule: + - cron: '0 0 * * *' # every day at midnight + +jobs: + upload: + runs-on: ubuntu-latest + + steps: + - name: Empty action + run: | + echo "Empty action triggering the generation of the documentation" From 8709f3a304f040436dc857ba9c32ce293c317130 Mon Sep 17 00:00:00 2001 From: Hugo Talbot Date: Tue, 2 Jul 2024 00:33:06 +0200 Subject: [PATCH 2/2] add dispatch --- .github/workflows/trigger_doc_gen.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/trigger_doc_gen.yml b/.github/workflows/trigger_doc_gen.yml index e6e0a7787..1a070ae23 100644 --- a/.github/workflows/trigger_doc_gen.yml +++ b/.github/workflows/trigger_doc_gen.yml @@ -1,6 +1,7 @@ name: Trigger doc generation on: + workflow_dispatch: push: branches: - master