update CI for build api doc
This commit is contained in:
parent
3995a58fb1
commit
10cd895fb8
1 changed files with 3 additions and 6 deletions
9
.github/workflows/build-doc.yml
vendored
9
.github/workflows/build-doc.yml
vendored
|
@ -15,15 +15,12 @@ jobs:
|
||||||
rustup target add riscv64gc-unknown-none-elf
|
rustup target add riscv64gc-unknown-none-elf
|
||||||
rustup component add llvm-tools-preview
|
rustup component add llvm-tools-preview
|
||||||
rustup component add rust-src
|
rustup component add rust-src
|
||||||
|
rm -rf public/${{ github.ref_name }}
|
||||||
|
mkdir -p public/${{ github.ref_name }}
|
||||||
cd os
|
cd os
|
||||||
cargo doc --no-deps --verbose
|
cargo doc --no-deps --verbose
|
||||||
|
cp -r ./target/riscv64gc-unknown-none-elf/doc ../public/${{ github.ref_name }}
|
||||||
- name: Deploy to Github Pages
|
- name: Deploy to Github Pages
|
||||||
uses: peaceiris/actions-gh-pages@v3
|
|
||||||
with:
|
|
||||||
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
||||||
publish_dir: ./os/target/riscv64gc-unknown-none-elf/doc
|
|
||||||
destination_dir: ./docs/${{ github.ref_name }}
|
|
||||||
- name: Deploy index.html to Github Pages
|
|
||||||
uses: peaceiris/actions-gh-pages@v3
|
uses: peaceiris/actions-gh-pages@v3
|
||||||
with:
|
with:
|
||||||
github_token: ${{ secrets.GITHUB_TOKEN }}
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue