Only deploy the guide when a new release is created (informalsystems#…

…2082)
hu55a1n1 · Apr 8, 2022 · 97a0529 · 97a0529
1 parent f70748d
commit 97a0529
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/guide.yml b/.github/workflows/guide.yml
@@ -9,6 +9,8 @@ on:
   pull_request:
     paths:
       - guide/**
+  release:
+    types: [created]
 
 jobs:
   guide:
@@ -50,10 +52,10 @@ jobs:
           cd guide
           mdbook build
 
-      # Only deploy guide when pushing to master
+      # 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' && github.ref == 'refs/heads/master' }}
+        if: github.event_name == 'release' && github.event.action == 'created'
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./guide/book