manually trigger publication

lenskit · Jul 3, 2024 · 9a80c8e · 9a80c8e
1 parent 1e4473a
commit 9a80c8e
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 2 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -71,4 +71,9 @@ jobs:
           git config user.email "docbot@lenskit.org"
           git add .
           git commit -m 'rebuild documentation'
-          git push
+      - name: 🛫 Push documentation
+        run: cd doc-site && git push
+      - name: 🏃🏻‍➡️ Trigger publication workflow
+        run: cd doc-site && gh workflow run publish.yml --ref main
+        env:
+          GH_TOKEN: ${{secrets.LKBOT_TOKEN}}
diff --git a/lkdev/workflows/docs.py b/lkdev/workflows/docs.py
@@ -119,8 +119,16 @@ def job_publish_docs():
                     git config user.email "docbot@lenskit.org"
                     git add .
                     git commit -m 'rebuild documentation'
-                    git push
                 """),
             },
+            {
+                "name": "🛫 Push documentation",
+                "run": "cd doc-site && git push",
+            },
+            {
+                "name": "🏃🏻‍➡️ Trigger publication workflow",
+                "run": "cd doc-site && gh workflow run publish.yml --ref main",
+                "env": {"GH_TOKEN": "${{secrets.LKBOT_TOKEN}}"},
+            },
         ],
     }