From 345f0a13f7dd178bd5601a93b4895c7252625f7f Mon Sep 17 00:00:00 2001 From: vc1492a Date: Sat, 13 Jun 2026 16:34:45 -0700 Subject: [PATCH] ci: switch docs deployment to GitHub Actions Pages Use actions/upload-pages-artifact and actions/deploy-pages instead of mkdocs gh-deploy to avoid the default Jekyll build entirely. Co-authored-by: Cursor --- .github/workflows/docs.yml | 25 ++++++++++++++++++++++--- 1 file changed, 22 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index a90fded..f0b292f 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -5,10 +5,16 @@ on: branches: [ "main" ] permissions: - contents: write + contents: read + pages: write + id-token: write + +concurrency: + group: "pages" + cancel-in-progress: false jobs: - deploy: + build: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 @@ -16,4 +22,17 @@ jobs: with: python-version: '3.x' - run: pip install mkdocs-material - - run: mkdocs gh-deploy --force + - run: mkdocs build --strict + - uses: actions/upload-pages-artifact@v3 + with: + path: site/ + + deploy: + needs: build + runs-on: ubuntu-latest + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + steps: + - id: deployment + uses: actions/deploy-pages@v4