From b62152b4f0ca8656401a28d35d826e9f3a8be550 Mon Sep 17 00:00:00 2001 From: Palash Tyagi <23239946+Magnus167@users.noreply.github.com> Date: Sun, 3 Aug 2025 23:01:54 +0100 Subject: [PATCH] Update output directory for user guide and artifact upload in CI workflow --- .github/workflows/docs-and-testcov.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docs-and-testcov.yml b/.github/workflows/docs-and-testcov.yml index 15bebea..b08ce59 100644 --- a/.github/workflows/docs-and-testcov.yml +++ b/.github/workflows/docs-and-testcov.yml @@ -178,7 +178,7 @@ jobs: - name: Copy user guide to output directory run: | mkdir -p target/doc/user-guide - cp -r docs/book/* target/doc/user-guide/ + cp -r docs/book/* output/user-guide/ - name: Add index.html to output directory run: | @@ -189,7 +189,8 @@ jobs: # if: github.event_name == 'push' || github.event_name == 'workflow_dispatch' uses: actions/upload-pages-artifact@v3 with: - path: target/doc/ + # path: target/doc/ + path: output/ - name: Deploy to GitHub Pages # if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'