From 6be1c118b989e1841fd34a361d36e6100152d60e Mon Sep 17 00:00:00 2001 From: Marko Lekic Date: Wed, 29 Oct 2025 09:29:29 +0100 Subject: [PATCH] Fixed deployment of pages --- .github/workflows/pages.yml | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index b994ab1..103b30b 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -31,7 +31,7 @@ jobs: - name: Install docs (and dev) dependencies run: | - uv sync --extra docs --extra dev + uv sync --extra docs - name: Build site run: uv run mkdocs build --strict @@ -44,8 +44,19 @@ jobs: deploy: needs: build runs-on: ubuntu-latest + + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + + permissions: + pages: write + id-token: write + steps: - name: Configure Pages uses: actions/configure-pages@v5 - - name: Deploy to Pages + + - name: Deploy to GitHub Pages + id: deployment uses: actions/deploy-pages@v4