lens/.github/workflows/mkdocs-set-default-version.yml

name: Update Default Documentation Version
on:
  workflow_dispatch:
    inputs:
      version:
        description: 'Version string to be default (e.g."v0.0.1")'
        required: true
jobs:
  build:
    name: Update default docs Version
    runs-on: ubuntu-latest
    steps:
      - name: Set up Python 3.7
        uses: actions/setup-python@v2
        with:
          python-version: "3.x"

      - name: Install dependencies
        run: |
          python -m pip install --upgrade pip
          pip install mkdocs-material
          pip install mike          

      - name: Checkout Release from lens
        uses: actions/checkout@v3
        with:
          fetch-depth: 0

      - name: git config
        run: |
          git config --local user.email "action@github.com"
          git config --local user.name "GitHub Action"          

      - name: mkdocs update default version
        run: |
          mike set-default --push ${{ github.event.inputs.version }}