From 391f92c4656b66c565767b66a9d34091db072ff5 Mon Sep 17 00:00:00 2001 From: Hammy <58985301+sgoudham@users.noreply.github.com> Date: Mon, 23 Sep 2024 02:44:11 +0100 Subject: [PATCH] ci: switch to new pages workflow (#6) --- .github/workflows/docs.yml | 23 ++++++++++++++--------- 1 file changed, 14 insertions(+), 9 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 55adabb..f6217d0 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,4 +1,4 @@ -name: GitHub Pages +name: Deploy Docs on: push: @@ -7,11 +7,13 @@ on: jobs: deploy: - runs-on: ubuntu-22.04 + runs-on: ubuntu-latest permissions: - contents: write - concurrency: - group: ${{ github.workflow }}-${{ github.ref }} + id-token: write + pages: write + environment: + name: github-pages + url: ${{ steps.deploy.outputs.page_url }} steps: - uses: actions/checkout@v4 @@ -22,8 +24,11 @@ jobs: - name: Build Docs run: nimble docs - - name: Deploy - uses: peaceiris/actions-gh-pages@v3 + - name: Upload artifact + uses: actions/upload-pages-artifact@v3 with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./public + path: "public/" + + - name: Deploy artifact to GitHub Pages + id: deploy + uses: actions/deploy-pages@v4