diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 673e906..41c681d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -68,10 +68,11 @@ jobs: documentation: name: Deploy documentation needs: push-tag + runs-on: macos-15 permissions: contents: read - pages: write id-token: write + pages: write concurrency: group: "pages" @@ -81,8 +82,6 @@ jobs: name: github-pages url: ${{ steps.deployment.outputs.page_url }} - runs-on: macos-15 - steps: - name: Checkout uses: actions/checkout@v4 @@ -91,10 +90,10 @@ jobs: run: make documentation -s - name: Upload artifact - uses: actions/upload-pages-artifact@v1 + uses: actions/upload-pages-artifact@v3 with: path: 'docs' - name: Deploy on GitHub Pages id: deployment - uses: actions/deploy-pages@v1 + uses: actions/deploy-pages@v4