build: correct ci failures (#5005) #5252
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: Site publish | |
| on: | |
| workflow_dispatch: | |
| push: | |
| branches: | |
| - main | |
| jobs: | |
| site-build: | |
| name: Build & publish site | |
| runs-on: ubuntu-latest | |
| # Run the job if manually triggered or if the commit message includes '#publish' & the check suite has passed | |
| if: github.event_name == 'workflow_dispatch' || contains(github.event.head_commit.message, '#publish') | |
| steps: | |
| - name: Checkout PR branch | |
| uses: actions/checkout@v4 | |
| - name: Setup Job and Install Dependencies | |
| uses: ./.github/actions/setup-job | |
| - name: Generate Docs | |
| run: yarn docs:ci | |
| - name: Deploy to GitHub Pages | |
| run: | | |
| git remote set-url origin https://git:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git | |
| yarn gh-pages -d projects/documentation/dist -m "[skip ci] update demonstration site" -t -u "github-actions-bot <[email protected]>" --nojekyll | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |