diff --git a/.github/workflows/delete-docs.yaml b/.github/workflows/delete-docs.yaml new file mode 100644 index 0000000..410e93e --- /dev/null +++ b/.github/workflows/delete-docs.yaml @@ -0,0 +1,33 @@ +name: Delete doc version +on: + workflow_dispatch: + inputs: + version: + description: 'The version to remove' + required: true + +run-name: Deleting docs for ${{ inputs.version }} + +jobs: + deploy: + runs-on: ubuntu-latest + permissions: + contents: write + steps: + - name: Checkout + uses: actions/checkout@v4 + with: + fetch-depth: 0 + - name: Configure Git Credentials + run: | + git config user.name github-actions[bot] + git config user.email 41898282+github-actions[bot]@users.noreply.github.com + - uses: actions/setup-python@v5 + with: + python-version: 3.x + - run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV + - name: Install dependencies + run: | + pip install mkdocs-material + pip install mike + - run: mike delete --branch gh-pages --push ${{ inputs.version }}