ci: use push #964
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: Docs | |
| on: | |
| push: | |
| branches: [ master ] | |
| pull_request: | |
| branches: [ master ] | |
| workflow_dispatch: | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v6 | |
| - name: Install SiraDoc | |
| run: npm install --global @siradoc/siradoc | |
| - name: Build website | |
| run: siradoc docs build | |
| - name: Clone branch gh-pages | |
| uses: actions/checkout@v6 | |
| with: | |
| path: 'gh-pages' | |
| ref: gh-pages | |
| persist-credentials: false | |
| fetch-depth: 0 | |
| - name: Move .git to build | |
| run: mv './gh-pages/.git' './build' | |
| - name: Set git config | |
| run: | | |
| git config user.name github-actions | |
| git config user.email [email protected] | |
| git config receive.denynonfastforwards false | |
| - name: Push to pages | |
| continue-on-error: true | |
| uses: jcs-actions/github-push-action@master | |
| with: | |
| github_token: ${{ secrets.PAT }} | |
| branch: gh-pages |