diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 9e3bedc..5db5060 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -5,9 +5,14 @@ name: Publish docs branches: - "master" permissions: - contents: write + contents: read + +concurrency: + group: pages + cancel-in-progress: true + jobs: - publish-docs: + build-docs: runs-on: ubuntu-latest steps: - name: Checkout @@ -19,7 +24,21 @@ jobs: - name: Build docs run: | make html - - name: Publish - uses: JamesIves/github-pages-deploy-action@d92aa235d04922e8f08b40ce78cc5442fcfbfa2f # v4.8.0 + - name: Upload Pages artifact + uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0 with: - folder: build/html + path: build/html + + deploy-docs: + needs: build-docs + runs-on: ubuntu-latest + permissions: + pages: write + id-token: write + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + steps: + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5.0.0