From e7e836549c61fde0b3faae497cc041394d5b5d58 Mon Sep 17 00:00:00 2001 From: Esteban Zimanyi Date: Wed, 24 Jun 2026 22:28:06 +0200 Subject: [PATCH] Build the workshop documentation on the master branch The documentation workflow runs on the master branch and uses the v4 checkout and artifact actions. --- .github/workflows/generate_docs.yml | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) diff --git a/.github/workflows/generate_docs.yml b/.github/workflows/generate_docs.yml index 7dc5391..b56ca0e 100644 --- a/.github/workflows/generate_docs.yml +++ b/.github/workflows/generate_docs.yml @@ -9,7 +9,6 @@ on: - 'docs/**' branches: - master - - develop jobs: build: @@ -42,7 +41,7 @@ jobs: # store the documentation files - name: Upload output directory - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: doc-files path: | @@ -62,13 +61,13 @@ jobs: steps: # checkout the gh-pages branch - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: ref: gh-pages # download the doc files, most of which are generated above - name: Download output directory - uses: actions/download-artifact@v2 + uses: actions/download-artifact@v4 with: name: doc-files path: docs-temp @@ -80,13 +79,6 @@ jobs: rm -rf master mv docs-temp master - # Rename the directory to master - - name: Rename the directory to develop - if: ${{ github.ref == 'refs/heads/develop' }} - run: | - rm -rf develop - mv docs-temp develop - # add, commit and push to gh-pages - name: Commit changes uses: EndBug/add-and-commit@v9