diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/doc.yml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 3008d44..d588468 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -6,6 +6,9 @@ on: - master workflow_dispatch: +permissions: + contents: write + jobs: pages: runs-on: ubuntu-latest @@ -13,10 +16,14 @@ jobs: - name: Checkout sources uses: actions/checkout@v4 - name: Build documentation - run: cargo doc --verbose + run: cargo doc --verbose --no-deps + - name: Write CNAME file + run: echo 'iced-dialog.pml68.dev' > ./target/doc/CNAME + - name: Copy redirect file as index.html + run: cp docs/redirect.html target/doc/index.html - name: Deploy documentation - uses: peaceiris/actions-gh-pages@v4 if: github.ref == 'refs/heads/master' + uses: peaceiris/actions-gh-pages@v4 with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./target/doc |