chore: trigger docs deployment after staging

Merge pull request #940 from nagisa77/codex/adjust-diff2html-font-for-mobile-ui
style: adjust diff2html fonts on mobile
2026-02-09 16:41:04 +08:00 · 2025-09-09 11:06:16 +08:00 · 2025-09-09 00:33:58 +08:00
2 changed files with 16 additions and 1 deletions
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -1,7 +1,11 @@
 name: Deploy Documentation

 on:
-  push:
+  workflow_call:
+    inputs:
+      build-id:
+        required: false
+        type: string
  workflow_dispatch:

 permissions:
@@ -16,6 +20,9 @@ jobs:
        with:
          fetch-depth: 1

+      - name: Log build
+        run: echo "Running documentation deployment from build ${{ inputs.build-id }}"
+
      - name: Setup Bun
        uses: oven-sh/setup-bun@v1
        with:
--- a/.github/workflows/deploy-staging.yml
+++ b/.github/workflows/deploy-staging.yml
@@ -21,3 +21,11 @@ jobs:
          key: ${{ secrets.SSH_KEY }}
          script: bash /opt/openisle/deploy-staging.sh

+  deploy-docs:
+    needs: build-and-deploy
+    if: ${{ success() }}
+    uses: ./.github/workflows/deploy-docs.yml
+    secrets: inherit
+    with:
+      build-id: ${{ github.run_id }}
+
Author	SHA1	Message	Date
Tim	ec04f64ce1	chore: trigger docs deployment after staging	2025-09-09 11:06:16 +08:00
Tim	50bea76c0e	Merge pull request #940 from nagisa77/codex/adjust-diff2html-font-for-mobile-ui style: adjust diff2html fonts on mobile	2025-09-09 00:33:58 +08:00