Revert temporary changes to deploy-pages.yaml

Author: misi9170

.github/workflows/deploy-pages.yaml

@@ -2,10 +2,10 @@ name: deploy-pages
 
 on:
   push:
-    # branches:
-    # - develop
-    # paths:
-    # - docs/**
+    branches:
+    - develop
+    paths:
+    - docs/**
 
 # This job installs dependencies, builds the book, and pushes it to `gh-pages`
 jobs:
@@ -50,8 +50,8 @@ jobs:
         jupyter-book build .
 
     # Push the book's HTML to github-pages
-    # - name: GitHub Pages action
-    #   uses: peaceiris/[email protected]
-    #   with:
-    #     github_token: ${{ secrets.GITHUB_TOKEN }}
-    #     publish_dir: ./docs/_build/html
+    - name: GitHub Pages action
+      uses: peaceiris/[email protected]
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: ./docs/_build/html