Skip to content

Commit e0def9c

Browse files
committed
Hopefully uses mike to push different mkdocs versions
1 parent dd94c63 commit e0def9c

File tree

4 files changed

+92
-36
lines changed

4 files changed

+92
-36
lines changed

.github/workflows/deploy_docs.yaml

Lines changed: 0 additions & 36 deletions
This file was deleted.
Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
name: Build/Publish Develop Docs
2+
on:
3+
push:
4+
paths:
5+
- "docs/**"
6+
- "mkdocs.yml"
7+
- "*.md"
8+
- ".github/workflows/deploy_docs_from_develop.yaml"
9+
branches:
10+
- develop
11+
permissions:
12+
contents: write
13+
jobs:
14+
deploy:
15+
runs-on: ubuntu-latest
16+
steps:
17+
- uses: actions/checkout@v4
18+
with:
19+
fetch-depth: 0
20+
- uses: actions/setup-python@v4
21+
with:
22+
python-version: 3.10.6
23+
- name: Install Dependencies
24+
run: |
25+
pip install mkdocs-material mkdocs-same-dir mkdocs-redirects
26+
pip install pillow cairosvg mike
27+
- name: Setup Docs Deploy
28+
run: |
29+
git config --global user.name "Docs Deploy"
30+
git config --global user.email "[email protected]"
31+
- name: Build Docs Website
32+
run: mike deploy --push develop
Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
name: Build/Publish Main Docs
2+
on:
3+
push:
4+
paths:
5+
- "docs/**"
6+
- "mkdocs.yml"
7+
- "*.md"
8+
- ".github/workflows/deploy_docs_from_main.yaml"
9+
branches:
10+
- main
11+
permissions:
12+
contents: write
13+
jobs:
14+
deploy:
15+
runs-on: ubuntu-latest
16+
steps:
17+
- uses: actions/checkout@v4
18+
with:
19+
fetch-depth: 0
20+
- uses: actions/setup-python@v4
21+
with:
22+
python-version: 3.10.6
23+
- name: Install Dependencies
24+
run: |
25+
pip install mkdocs-material mkdocs-same-dir mkdocs-redirects
26+
pip install pillow cairosvg mike
27+
- name: Setup Docs Deploy
28+
run: |
29+
git config --global user.name "Docs Deploy"
30+
git config --global user.email "[email protected]"
31+
- name: Build Docs Website
32+
run: mike deploy --push main
Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
name: Build/Publish Latest Release Docs
2+
3+
on:
4+
release:
5+
types: [published]
6+
7+
permissions:
8+
contents: write
9+
jobs:
10+
deploy:
11+
runs-on: ubuntu-latest
12+
steps:
13+
- uses: actions/checkout@v4
14+
with:
15+
fetch-depth: 0
16+
- uses: actions/setup-python@v4
17+
with:
18+
python-version: 3.10.6
19+
- name: Install Dependencies
20+
run: |
21+
pip install mkdocs-material
22+
pip install pillow cairosvg mike
23+
- name: Setup Docs Deploy
24+
run: |
25+
git config --global user.name "Docs Deploy"
26+
git config --global user.email "[email protected]"
27+
- name: Build Docs Website
28+
run: mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest

0 commit comments

Comments
 (0)