Avoid unintended side-effects on non-interactive library disassociati… #138
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: Deploy Documentation | |
| on: | |
| push: | |
| # If we are pushing to a release branch (main or master), then we need | |
| # to deploy the documentation to GitHub Pages. | |
| branches: | |
| - main | |
| - master | |
| jobs: | |
| gh-pages: | |
| runs-on: ubuntu-latest | |
| # Don't publish documentation if the commit was made by dependabot, since | |
| # dependabot does not have permissions to push to the gh-pages branch. | |
| if: github.actor != 'dependabot[bot]' | |
| steps: | |
| - name: Checkout 🛎️ | |
| uses: actions/checkout@v4 | |
| - name: Install Node.js 💻 | |
| uses: actions/setup-node@v4 | |
| with: | |
| node-version: 20 | |
| - name: Install 🔧 | |
| run: npm ci | |
| - name: Build docs 📃 | |
| run: npm run build-docs | |
| - name: Deploy docs to GitHub pages 🚀 | |
| uses: JamesIves/github-pages-deploy-action@releases/v4 | |
| with: | |
| branch: gh-pages | |
| folder: docs |