Build to dev on push

talmolab · Nov 4, 2024 · a0463d7 · a0463d7
1 parent d70b1b2
commit a0463d7
Showing 1 changed file with 15 additions and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -5,6 +5,14 @@ on:
   release:
     types:
       - published
+  push:
+    # branches:
+    #   - main
+    paths:
+      - "sleap_io/**"
+      - "docs/**"
+      - "mkdocs.yml"
+      - ".github/workflows/docs.yml"
 
 jobs:
   docs:
@@ -34,4 +42,10 @@ jobs:
         if: ${{ github.event_name == 'release' && github.event.action == 'published' }}
         shell: bash -l {0}
         run: |
-            mike deploy --update-aliases --allow-empty --push --verbose "${{ github.event.release.tag_name }}" latest
+            mike deploy --update-aliases --allow-empty --push --verbose "${{ github.event.release.tag_name }}" latest
+
+      - name: Build and upload docs (dev)
+        if: ${{ github.event_name == 'push' }}
+        shell: bash -l {0}
+        run: |
+            mike deploy --update-aliases --allow-empty --push --verbose dev