Remove GitHub Pages docs workflow
Authored by
mfwolffe <wolffemf@dukes.jmu.edu>
- SHA
edb03ce9256bf072b40e13ec703be30fda5be223- Parents
-
8cb8a8c - Tree
f2331e6
edb03ce
edb03ce9256bf072b40e13ec703be30fda5be2238cb8a8c
f2331e6| Status | File | + | - |
|---|---|---|---|
| D |
.github/workflows/docs.yml
|
0 | 63 |
.github/workflows/docs.ymldeleted@@ -1,63 +0,0 @@ | ||
| 1 | -name: docs | |
| 2 | - | |
| 3 | -# Builds the MkDocs Material site and deploys to GitHub Pages on every | |
| 4 | -# push to `trunk` (the main branch name in this repo) and on every | |
| 5 | -# tagged release. The release workflow doesn't call this one — it | |
| 6 | -# waits for this to finish via its own deploy step. | |
| 7 | - | |
| 8 | -on: | |
| 9 | - push: | |
| 10 | - branches: [trunk] | |
| 11 | - paths: | |
| 12 | - - "docs/**" | |
| 13 | - - "mkdocs.yml" | |
| 14 | - - ".github/workflows/docs.yml" | |
| 15 | - workflow_dispatch: {} | |
| 16 | - | |
| 17 | -concurrency: | |
| 18 | - group: docs-${{ github.ref }} | |
| 19 | - cancel-in-progress: true | |
| 20 | - | |
| 21 | -permissions: | |
| 22 | - contents: read | |
| 23 | - pages: write | |
| 24 | - id-token: write | |
| 25 | - | |
| 26 | -env: | |
| 27 | - UV_VERSION: "0.11.6" | |
| 28 | - PYTHON_VERSION: "3.11" | |
| 29 | - | |
| 30 | -jobs: | |
| 31 | - build: | |
| 32 | - name: build | |
| 33 | - runs-on: ubuntu-latest | |
| 34 | - steps: | |
| 35 | - - uses: actions/checkout@v4 | |
| 36 | - | |
| 37 | - - name: Install uv | |
| 38 | - uses: astral-sh/setup-uv@v4 | |
| 39 | - with: | |
| 40 | - version: ${{ env.UV_VERSION }} | |
| 41 | - | |
| 42 | - - name: Sync (docs group only — no heavy ML deps) | |
| 43 | - run: uv sync --group docs | |
| 44 | - | |
| 45 | - - name: Build site | |
| 46 | - run: uv run mkdocs build --clean --site-dir site/ | |
| 47 | - | |
| 48 | - - name: Upload Pages artifact | |
| 49 | - uses: actions/upload-pages-artifact@v3 | |
| 50 | - with: | |
| 51 | - path: site/ | |
| 52 | - | |
| 53 | - deploy: | |
| 54 | - name: deploy to gh-pages | |
| 55 | - needs: build | |
| 56 | - runs-on: ubuntu-latest | |
| 57 | - environment: | |
| 58 | - name: github-pages | |
| 59 | - url: ${{ steps.deployment.outputs.page_url }} | |
| 60 | - steps: | |
| 61 | - - name: Deploy | |
| 62 | - id: deployment | |
| 63 | - uses: actions/deploy-pages@v4 | |