diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 30766b5..a7b0483 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,17 +1,16 @@ name: Docs on: - push: - branches: [main] - paths-ignore: - - "*.md" - - "LICENSE" + workflow_dispatch: + permissions: contents: read pages: write - id-token: write + id-token: write + concurrency: group: deploy cancel-in-progress: false + jobs: build: name: Build @@ -19,30 +18,40 @@ jobs: steps: - name: Checkout repository uses: actions/checkout@v4 + - name: Setup Rust uses: dtolnay/rust-toolchain@stable + - name: Configure cache uses: Swatinem/rust-cache@v2 + - name: Setup pages id: pages uses: actions/configure-pages@v4 + - name: Clean docs folder run: cargo clean --doc + - name: Build docs run: cargo doc --no-deps + - name: Add index.html page run: cp docs/index.html target/doc/index.html + - name: Remove lock file run: rm target/doc/.lock + - name: Upload artifact uses: actions/upload-pages-artifact@v3 with: path: target/doc + deploy: name: Deploy environment: name: github-pages url: ${{ steps.deployment.outputs.page_url }} + runs-on: ubuntu-latest needs: build steps: