Skip to content

Commit 0744688

Browse files
authored
Docs: Deploy master as 'development' version (#574)
* Docs: Deploy master as 'development' version * Rename to 0dev to sort to the bottom * Standardise GitHub action names and filenames * Update path filter
1 parent 1fca634 commit 0744688

File tree

5 files changed

+38
-4
lines changed

5 files changed

+38
-4
lines changed

.github/workflows/devcontainer-build-and-push.yml renamed to .github/workflows/docker-devcontainer.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,13 +2,13 @@
22
# - Only pushes if push or release
33
# - Builds without push for PRs to check the Dockerfile
44

5-
name: Docker image
5+
name: Build Docker [devcontainers]
66

77
on:
88
pull_request: # Build, don't push
99
paths:
1010
- ".devcontainer/**"
11-
- ".github/workflows/devcontainer-build-and-push.yml"
11+
- ".github/workflows/docker-devcontainer.yml"
1212
push: { branches: [master] } # Build + push ('latest' tag)
1313
release: { types: [published] } # Build + push (release tag)
1414
workflow_dispatch: # Build + push (custom tag)

.github/workflows/mkdocs-docker.yml renamed to .github/workflows/docker-mkdocs.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,12 @@
11
# Build and push the Docker image for building the site (mkdocs material)
22

3-
name: MkDocs image
3+
name: Build Docker [MkDocs]
44

55
on:
66
pull_request:
77
paths:
88
- ".github/mkdocs.Dockerfile"
9+
- ".github/workflows/docker-mkdocs.yml"
910
- "requirements.txt"
1011
push:
1112
branches: [master]

.github/workflows/docs-dev.yml

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
name: Publish docs [dev]
2+
3+
on:
4+
release:
5+
types: [published]
6+
push:
7+
branches: [master]
8+
9+
permissions:
10+
contents: write
11+
12+
jobs:
13+
deploy:
14+
runs-on: ubuntu-latest
15+
steps:
16+
- uses: actions/checkout@v4
17+
with:
18+
fetch-depth: 0
19+
20+
- uses: actions/setup-python@v5
21+
with:
22+
python-version: 3.10.6
23+
24+
- name: Install Dependencies
25+
run: pip install -r requirements.txt
26+
27+
- name: Configure git
28+
run: |
29+
git config user.name "github-actions[bot]"
30+
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
31+
32+
- name: Build Docs Website
33+
run: mike deploy --push --alias-type copy --update-aliases 0.dev development
File renamed without changes.

.github/workflows/precommit.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
name: Pre-commit checks
1+
name: Code checks [pre-commit]
22

33
on:
44
push:

0 commit comments

Comments
 (0)