[ci] publish dev branch to titanrobotics2022.com/docs/dev

titan2022 · Aug 6, 2024 · bb9b883 · bb9b883
1 parent 7d6723b
commit bb9b883
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/sphinx.yml b/.github/workflows/sphinx.yml
@@ -21,7 +21,8 @@ jobs:
         path: build/html/
     - name: Deploy
       uses: peaceiris/actions-gh-pages@v3
-      if: github.ref == 'refs/heads/main'
+      if: github.ref == 'refs/heads/dev'
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
-        publish_dir: build/html
+        publish_dir: build/html
+        destination_dir: dev