Skip to content

[Bugfix] int to Int migration (#2767) #62

[Bugfix] int to Int migration (#2767)

[Bugfix] int to Int migration (#2767) #62

name: Publish release documentation
on:
push:
branches: ['master']
paths: ['documentation/release-latest/**']
jobs:
deploy:
runs-on: ubuntu-latest
if: github.repository == 'pinterest/ktlint'
steps:
- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4
with:
fetch-depth: 0 # fetch all commits/branches
- uses: actions/setup-python@v5
with:
python-version: 3.x
- name: Install mkdocs and mike
run: pip install mkdocs-material mike
- name: Config git
run: |
git config user.email "[email protected]"
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