This repository has been archived by the owner on Jan 16, 2024. It is now read-only.
Add setting to configure the rate at which to refresh clients (#3402) #16
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: Hermes Guide | |
| on: | |
| push: | |
| branches: | |
| - master | |
| tags: | |
| - v[0-9]+.* | |
| pull_request: | |
| paths: | |
| - guide/** | |
| # Cancel previous runs of this workflow when a new commit is added to the PR, branch or tag | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| guide: | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install mdbook and plugins | |
| uses: taiki-e/install-action@v2 | |
| with: | |
| tool: mdbook,mdbook-mermaid,mdbook-template,mdbook-toc | |
| - name: Build guide | |
| run: | | |
| cd guide | |
| mdbook build | |
| # Only deploy guide when releasing a new version of Hermes | |
| - name: Deploy to GitHub Pages | |
| uses: peaceiris/actions-gh-pages@v3 | |
| if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags') | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: ./guide/book |