blob: a3db56db11fd78db4cc77434e562c07de0e4571b [file]
name: Publish snapshot documentation
permissions:
contents: write
on:
push:
branches: ['master']
paths: ['documentation/snapshot/**']
workflow_dispatch:
jobs:
deploy:
runs-on: ubuntu-latest
if: github.repository == 'pinterest/ktlint'
steps:
- uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5
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: Build and push snapshot documentation to GitHub Pages
run: |
cd documentation/snapshot
# The dev-snapshot version has no release number as the version will only be tagged when an official release is build
# This also prevents that multiple snapshot versions of the documentation will be published in parallel
mike deploy --push dev-snapshot