message: Fix workflow for publishing guide on release
diff: @@ -4,13 +4,13 @@ on:
  push:
  branches:
  - master
  + tags:
  + - v0.*
  paths:
  - guide/**
  pull_request:
  paths:
  - guide/**
  - release:
  - types: [created]
  jobs:
  guide:
  @@ -55,7 +55,7 @@ jobs:
  # 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 == 'release' && github.event.action == 'created'
  + if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags/v0.')
  with:
  github_token: ${{ secrets.GITHUB_TOKEN }}
  publish_dir: ./guide/book
  