From c111c36cefb726a4568d947d314970131e53144a Mon Sep 17 00:00:00 2001
From: Firas Moosvi <firas@moosvi.com>
Date: Wed, 4 Sep 2024 21:24:09 -0700
Subject: [PATCH] Push to GitHub Pages also

---
 .github/workflows/deploy.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 6ea924d6..a0ee11c8 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -40,6 +40,14 @@ jobs:
     - name: Build the book
       run: |
         jupyter-book build .
+
+    # Push the book's HTML to github-pages
+    - name: GitHub Pages action
+      uses: peaceiris/actions-gh-pages@v4
+      if: ${{ github.ref == 'refs/heads/main' }}
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: ./_build/html
         
     # Push to CS server
     - name: rsync and ssh to CS