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 git+https://${{ secrets.GH_TOKEN }}@github.com/lensapp/mkdocs-material-insiders.git pip install mike - name: Checkout Release from lens uses: actions/checkout@v2 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 }}