Update output directory for user guide and artifact upload in CI workflow

This commit is contained in:
Palash Tyagi 2025-08-03 23:01:54 +01:00
parent a6a901d6ab
commit b62152b4f0

View File

@ -178,7 +178,7 @@ jobs:
- name: Copy user guide to output directory - name: Copy user guide to output directory
run: | run: |
mkdir -p target/doc/user-guide 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 - name: Add index.html to output directory
run: | run: |
@ -189,7 +189,8 @@ jobs:
# if: github.event_name == 'push' || github.event_name == 'workflow_dispatch' # if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
uses: actions/upload-pages-artifact@v3 uses: actions/upload-pages-artifact@v3
with: with:
path: target/doc/ # path: target/doc/
path: output/
- name: Deploy to GitHub Pages - name: Deploy to GitHub Pages
# if: github.event_name == 'push' || github.event_name == 'workflow_dispatch' # if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'