github-page.yaml

name: github pages

on:
  push:
    branches:
      - master
    paths:
      - "src/**"
      - mkdocs.yaml
  pull_request:
  workflow_dispatch:

jobs:
  deploy:
    name: GitHub Pages
    runs-on: ubuntu-20.04
    steps:
      - uses: actions/checkout@v3
        with:
          # let git-revision-date-localized-plugin collect correctly
          fetch-depth: 0

      - uses: actions/setup-python@v4
        with:
          python-version: 3.9
          cache: "pip"

      - name: Install dependencies
        run: |
          pip install mkdocs
          mkdocs --version
          pip install mkdocs-material
          pip install mkdocs-git-revision-date-localized-plugin
          pip install mkdocs-mermaid2-plugin
          pip install -e lib

      - name: Build
        if: ${{ github.ref != 'refs/heads/master' }}
        run: mkdocs build

      - name: Deploy
        if: ${{ github.ref == 'refs/heads/master' }}
        run: mkdocs gh-deploy