.github/workflows/publish-release-docs.yml

name: Publish release documentation
permissions:
  contents: write

on:
  push:
    branches: ['master']
    paths: ['documentation/release-latest/**']
  workflow_dispatch:

jobs:
  deploy:
    runs-on: ubuntu-latest
    if: github.repository == 'pinterest/ktlint'
    steps:
      - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6
        with:
          fetch-depth: 0 # fetch all commits/branches
      - uses: actions/setup-python@v6
        with:
          python-version: 3.x

      - name: Install mkdocs and mike
        run: pip install mkdocs-material mike

      - name: Config git
        run: |
          git config user.email "ktlint@github.com"
          git config user.name "Ktlint Release Workflow"

      - name: Get last released version
        run: echo "version=$(git describe --abbrev=0 --tags)" >> $GITHUB_ENV

      - name: Deploy release docs
        run: |
          echo "Deploy release docs to version ${{ env.version }}"
          cd documentation/release-latest
          # Release docs are versioned so that user can use relevant docs for the ktlint version they use
          mike deploy --push --update-aliases ${{ env.version }} latest

      - name: Update default release docs
        run: |
          cd documentation/release-latest
          mike set-default --push latest