-
Notifications
You must be signed in to change notification settings - Fork 11
58 lines (55 loc) · 2 KB
/
publish-release-docs.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
name: Publish Release Docs
# Workflow Trigger
on:
# Triggers the workflow in the event there is a release created
release:
types: [published]
# Allow manual triggering of the workflow.
# This will deploy current development branch as latest version.
workflow_dispatch:
permissions:
contents: write
jobs:
deploy:
name: Build & Publish Docs
runs-on: ubuntu-latest
steps:
- name: Get the sources
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
with:
lfs: true
fetch-depth: 0
- name: Install Python
uses: actions/setup-python@0b93645e9fea7318ecaed2b359559ac225c90a2b # v5
with:
python-version: 3.13.1
- name: Install Python Dependencies
run: pip install -r requirements.txt
working-directory: ./docs
- name: Install Required Libraries
run: |
sudo apt-get update
sudo apt-get install -y pngquant
- name: Configure Git
run: |
git config --global user.name "Build Server"
git config --global user.email "[email protected]"
# Determine the version (either from the release or manually inputted)
- name: Set version to deploy
id: set-version
run: |
if [[ "${{ github.event_name }}" == "release" ]]; then
echo "VERSION=${{ github.event.release.tag_name }}" >> $GITHUB_ENV
elif [[ "${{ github.event_name }}" == "workflow_dispatch" ]]; then
LATEST_TAG=$(curl -s https://api.github.com/repos/${{ github.repository }}/releases/latest | jq -r .tag_name)
if [ "$LATEST_TAG" != "null" ]; then
echo "VERSION=$LATEST_TAG" >> $GITHUB_ENV
else
echo "No latest release found" && exit 1
fi
else
echo "No version specified, cannot deploy." && exit 1
fi
- name: Build & Publish
run: mike deploy --push --update-aliases $VERSION latest
working-directory: ./docs