And publish from master too

testing-cabal · Jul 20, 2024 · 79599e0 · 79599e0
1 parent 9f490ab
commit 79599e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml
@@ -29,7 +29,7 @@ jobs:
 
       - name: Deploy Book
         uses: JamesIves/github-pages-deploy-action@v4
-        if: ${{ github.event_name == 'push' && startsWith('refs/heads/main', github.ref) }}
+        if: ${{ github.event_name == 'push' && (startsWith('refs/heads/main', github.ref) || startsWith('refs/heads/master', github.ref)) }}
         with:
           branch: gh-pages
           folder: doc/book/