lens/.github/workflows/mkdocs-delete-version.yml

name: Delete Documentation Version
on:
  workflow_dispatch:
    inputs:
      version:
        description: 'Version string to be deleted (e.g."v0.0.1")'
        required: true
jobs:
  build:
    name: Delete 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 delete version
        run: |
          mike delete --push ${{ github.event.inputs.version }}