fix: bad commit diffs for merge (#37) #15
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: gh pages deploy | |
| permissions: | |
| contents: write | |
| actions: write | |
| pages: write | |
| on: | |
| workflow_dispatch: | |
| push: | |
| branches: | |
| - main | |
| jobs: | |
| deploy: | |
| name: deploy to gh-pages | |
| runs-on: ubuntu-latest | |
| env: | |
| # THROW_ON_BROKEN_LINKS is not called here since verify-deployment uses it. So a PR would fail. | |
| IS_GH_PAGES: true | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: actions/[email protected] | |
| with: | |
| node-version: 20 | |
| cache: npm | |
| - name: Set git config for pull.ff only | |
| run: git config --global pull.ff only | |
| - name: Clear old docs references | |
| run: make fresh | |
| - name: 🤔 Sync latest Upstream | |
| run: make sync-docs | |
| - name: Build website 🔨 | |
| run: make build-docs | |
| - name: Deploy 🚀 | |
| uses: JamesIves/[email protected] | |
| with: | |
| branch: gh-pages | |
| folder: build | |
| single-commit: true |