14.4.0 #142
This file contains 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: "DOC - Build and deploy" | |
| on: | |
| push: | |
| branches: | |
| - master | |
| - main | |
| permissions: read-all | |
| concurrency: | |
| group: ${{ github.ref_name }}-${{ github.workflow }} | |
| cancel-in-progress: true | |
| jobs: | |
| deploy: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - uses: actions/setup-python@v4 | |
| with: | |
| python-version: 3.x | |
| - name: Setup Node.js | |
| uses: actions/setup-node@v3 | |
| with: | |
| node-version: 18 | |
| - run: pip install mkdocs-material mdx_truly_sane_lists | |
| - run: npm ci | |
| - run: npm run build | |
| - run: mkdocs gh-deploy --force | |
| # This step will evaluate the repo status and report the change | |
| - name: Check if there are changes | |
| id: changes | |
| if: ${{ success() }} || ${{ failure() }} | |
| uses: UnicornGlobal/has-changes-action@v1.0.11 | |
| # Push new commit if applicable | |
| - name: Prepare commit | |
| if: steps.changes.outputs.changed == 1 | |
| run: sudo chown -Rc $UID .git/ | |
| - name: Commit and push applied linter fixes | |
| if: steps.changes.outputs.changed == 1 | |
| uses: stefanzweifel/git-auto-commit-action@v4 | |
| with: | |
| branch: ${{ github.event.pull_request.head.ref || github.head_ref || github.ref }} | |
| commit_message: "[automation] Update documentation" |