Skip to content

Deploy the latest documentation #57

Deploy the latest documentation

Deploy the latest documentation #57

#
# On demand and on vXXX tag push: Deploy the latest documentatio
#
name: Deploy the latest documentation
on:
workflow_dispatch:
inputs:
ref:
description: The tag to be released, e.g. v0.0.1
required: true
jobs:
deploy:
name: Deploy the latest documentation
runs-on: ubuntu-latest
steps:
- name: Checkout main
uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
with:
ref: ${{ github.event.inputs.ref }}
fetch-depth: 0
persist-credentials: true
- name: Login to docker.io registry
uses: docker/login-action@e92390c5fb421da1463c202d546fed0ec5c39f20 # v3.1.0
with:
username: ${{ secrets.DOCKERHUB_USER }}
password: ${{ secrets.DOCKERHUB_TOKEN }}
- uses: actions/setup-python@82c7e631bb3cdc910f68e0081d67478d79c6982d # v5.1.0
with:
python-version: 3.12.3
- name: Install dependencies
run: |
pip install git+https://${GH_TOKEN}@github.com/squidfunk/mkdocs-material-insiders.git
pip install mike
pip install mkdocs-macros-plugin
env:
GH_TOKEN: ${{ secrets.MKDOCS_AQUA_BOT }}
- name: Setup Git
run: |
git config user.name "github-actions"
git config user.email "github-actions@github.com"
- name: Deploy the latest documents
run: |
VERSION="${{ github.event.inputs.ref }}"
mike deploy --push --update-aliases ${VERSION%.*} latest