diff --git a/.github/workflows/build-doc.yml b/.github/workflows/build-doc.yml index a48f1474..536e7381 100644 --- a/.github/workflows/build-doc.yml +++ b/.github/workflows/build-doc.yml @@ -22,4 +22,10 @@ jobs: with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./os/target/riscv64gc-unknown-none-elf/doc - destination_dir: ${{ github.ref_name }} \ No newline at end of file + destination_dir: ./public/${{ 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 diff --git a/index.html b/public/index.html similarity index 93% rename from index.html rename to public/index.html index 7aa1475d..de9ebd48 100644 --- a/index.html +++ b/public/index.html @@ -25,6 +25,7 @@