wg-portal/.github/workflows/pages.yml

name: github-pages
on:
  push:
    branches: [master]
    tags: ["v*"]

permissions:
  contents: write

jobs:
  deploy:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
        with:
          fetch-depth: 0

      - uses: actions/setup-python@v5
        with:
          python-version: 3.x

      - name: Install dependencies
        run: pip install mike mkdocs-material[imaging] mkdocs-minify-plugin

      - name: Publish documentation
        run: mike deploy --push --update-aliases ${{ github.ref_name }} latest
        env:
          GIT_COMMITTER_NAME: "github-actions[bot]"
          GIT_COMMITTER_EMAIL: "41898282+github-actions[bot]@users.noreply.github.com"