mkdocs-mike-deploy.yml

# Deploy mkdocs using mike for the version found using CI/inject_version.sh

name: mkdocs-mike-deploy

# Controls when the workflow will run
on:
  # Triggers the workflow on push or pull request events but only for the master branch
  push:
    branches: [master]

  # Allows you to run this workflow manually from the Actions tab
  workflow_dispatch:

permissions:
  contents: write

# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
  # This workflow contains a single job called "build"
  docs_deploy:
    # The type of runner that the job will run on
    runs-on: ubuntu-latest

    # Steps represent a sequence of tasks that will be executed as part of the job
    steps:
      - name: Checkout repository
        uses: actions/checkout@v3
        with:
          fetch-depth: 0
      - name: Set up Python
        uses: actions/setup-python@v4
        with:
          python-version: '3.x'
      - name: Install dependencies
        run: |
          python -m pip install --upgrade pip
          pip install -r CI/requirements.txt
      - name: docs-deploy
      # Inject version and document revision information into docs/ source      
      # Build and deploy docs site and pdf
        env: 
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        run: |
          VER=$( CI/inject_version.sh )
          MAJMIN=$(echo ${VER} | grep -o '[0-9]\+\.[0-9]\+')
          git config user.name "GitHub Actions CI Publisher"
          git config user.email "DyalogGithubActions@github.com"
          git fetch origin gh-pages --depth=1
          
          mike deploy ${MAJMIN}
          mike alias --update-aliases --push --allow-empty ${MAJMIN} dev