13 if: github.event_name == 'pull_request'
14 runs-on: ubuntu-latest
16 - uses: actions/checkout@v4
18 - uses: actions/setup-node@v3
23 working-directory: ./docs
29 if: github.event_name == 'push'
30 runs-on: ubuntu-latest
34 - uses: actions/checkout@v4
38 - uses: actions/checkout@v4
43 - uses: actions/setup-node@v3
47 - name: Build docusaurus
48 working-directory: master/docs
51 echo "sha=$(git rev-parse HEAD)" >> $GITHUB_OUTPUT
55 - name: Release to github pages
57 GIT_TOKEN: ${{ secrets.GITHUB_TOKEN }}
58 working-directory: gh-pages
60 git config --local user.name "github-actions[bot]"
61 git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
63 # Remove all files except .git
66 # Copy the build files from master/docs/build to gh-pages
67 cp -r ../master/docs/build/* .
71 git commit -m "Update documentation based on ${{ steps.build.outputs.sha }}"
72 git push origin gh-pages
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list