Skip to content

Commit c0aa8d6

Browse files
authored
Fix MKDocs build page (#72)
Restore mkdocs-deploy.yml
1 parent 1ac84b8 commit c0aa8d6

File tree

1 file changed

+12
-20
lines changed

1 file changed

+12
-20
lines changed
Lines changed: 12 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,41 +1,33 @@
1-
name: Deploy Versioned MkDocs Site
1+
name: Deploy MkDocs Site
22

33
on:
4-
release:
5-
types: [published]
6-
workflow_dispatch: # allows manual triggering if needed
4+
push:
5+
branches:
6+
- main # Triggers deployment on push to the main branch
77

88
permissions:
99
contents: write
1010

1111
jobs:
1212
deploy:
1313
runs-on: ubuntu-latest
14-
1514
steps:
16-
- name: Checkout repository
15+
- name: Checkout Repository
1716
uses: actions/checkout@v4
1817
with:
19-
fetch-depth: 0
20-
21-
- name: Set up Python
18+
fetch-depth: 0 # Fetch all history for proper gh-pages branch handling
19+
- name: Set up Python 3.12
2220
uses: actions/setup-python@v5
2321
with:
2422
python-version: 3.12
25-
26-
- name: Install documentation dependencies
23+
- name: Install Documentation Dependencies
2724
run: |
2825
pip install --upgrade pip
2926
pip install .[docu]
30-
31-
- name: Configure Git
27+
- name: Build MkDocs Site
28+
run: mkdocs build
29+
- name: Deploy to GitHub Pages
3230
run: |
3331
git config user.name "github-actions[bot]"
3432
git config user.email "github-actions[bot]@users.noreply.github.com"
35-
36-
- name: Deploy Docs with Mike
37-
env:
38-
RELEASE_VERSION: ${{ github.event.release.tag_name }}
39-
run: |
40-
echo "Deploying docs for version ${RELEASE_VERSION}"
41-
mike deploy --push --update-aliases "${RELEASE_VERSION}" latest
33+
mkdocs gh-deploy --force

0 commit comments

Comments
 (0)