mirror of
https://github.com/Magnus167/rustframe.git
synced 2025-08-20 04:30:01 +00:00
Compare commits
2 Commits
a6a901d6ab
...
1dcd9727b4
Author | SHA1 | Date | |
---|---|---|---|
![]() |
1dcd9727b4 | ||
![]() |
b62152b4f0 |
11
.github/workflows/docs-and-testcov.yml
vendored
11
.github/workflows/docs-and-testcov.yml
vendored
@ -177,19 +177,20 @@ jobs:
|
|||||||
|
|
||||||
- name: Copy user guide to output directory
|
- name: Copy user guide to output directory
|
||||||
run: |
|
run: |
|
||||||
mkdir -p target/doc/user-guide
|
mkdir output/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: |
|
||||||
cp .github/htmldocs/index.html target/doc/index.html
|
cp .github/htmldocs/index.html output/index.html
|
||||||
cp .github/rustframe_logo.png target/doc/rustframe_logo.png
|
cp .github/rustframe_logo.png output/rustframe_logo.png
|
||||||
|
|
||||||
- name: Upload Pages artifact
|
- name: Upload Pages artifact
|
||||||
# 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'
|
||||||
|
Loading…
x
Reference in New Issue
Block a user