diff --git a/.github/workflows/build-doc.yml b/.github/workflows/build-doc.yml index 536e7381..f559e3da 100644 --- a/.github/workflows/build-doc.yml +++ b/.github/workflows/build-doc.yml @@ -22,10 +22,10 @@ jobs: with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./os/target/riscv64gc-unknown-none-elf/doc - destination_dir: ./public/${{ github.ref_name }} + destination_dir: ./docs/${{ github.ref_name }} - name: Deploy index.html to Github Pages uses: peaceiris/actions-gh-pages@v3 with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./public - destination_dir: ./public \ No newline at end of file + destination_dir: ./docs \ No newline at end of file