From aff026b9ff005f985f074030ff35c6359172e080 Mon Sep 17 00:00:00 2001 From: Alice Date: Tue, 13 Jan 2026 17:39:31 +0100 Subject: [PATCH] copied from build instead of docs --- .github/workflows/build_documentation.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build_documentation.yml b/.github/workflows/build_documentation.yml index c239464ad..ca7544379 100644 --- a/.github/workflows/build_documentation.yml +++ b/.github/workflows/build_documentation.yml @@ -88,18 +88,19 @@ jobs: - name: Copy documentation and Release notes to versioned folder - + # if: github.event_name == 'release' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) run: | VERSION="${{ steps.version.outputs.version }}" mkdir -p "gh-pages/${VERSION}" cp -r build/docs/html/. "gh-pages/${VERSION}/" - cp build/docs/main_index/index.html "gh-pages/index.html" - cp build/docs/main_index/index.html gh-pages/_sources/index.html.txt + cp docs/main_index/index.html "gh-pages/index.html" + cp docs/main_index/index.html "gh-pages/_sources/index.html.txt" if [ "${{ github.event_name }}" == "release" ]; then cp RELEASE.md "gh-pages/releases/RELEASE_v${VERSION}.md" fi - name: Commit and Push changes to gh-pages + # if: github.event_name == 'release' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) run: | cd gh-pages git config --global user.name 'github-actions'