Add support for /develop in docs site (#259)

* feat: update action to build doc page in a folder * test: see if it works without if clause * test: change source for docs
NeuroTechX · Jun 16, 2024 · 21a09ab · 21a09ab
1 parent 5bbca2b
commit 21a09ab
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -35,4 +35,9 @@ jobs:
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: doc/_build/html
-
+    - name: Deploy Dev Docs
+      uses: peaceiris/actions-gh-pages@v3
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: doc/_build/html
+        destination_dir: develop