Fix property-naming rule reference (#3210) #146
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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@8e8c483db84b4bee98b60c0593521ed34d9990e8 # 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 "[email protected]" | |
| 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 |