Rely on artifacts from build in docs

cpp/.github/workflows/{% if add_docs %}docs.yaml{% endif %}.jinja

@@ -1,21 +1,46 @@
 name: Publish Docs
 
 on:
-  push:
-    branches:
-      - main
+  workflow_run:
+    workflows: ["Build Status"]
+    branches: [main]
+    types: [completed]
   workflow_dispatch:
+
 permissions:
+  actions: read
   contents: write
+
 jobs:
   docs:
     runs-on: ubuntu-latest
+    if: {% raw %}${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
     steps:
       - uses: actions/checkout@v6
       - uses: actions-ext/python/setup@main
-      - run: uv pip install .[develop]
-      - run: uv pip install yardang
+
+      - name: Download dist from build
+        uses: actions/download-artifact@v7
+        with:
+          name: dist-ubuntu-latest-{{python_version_primary}}
+          path: dist
+          run-id: {% raw %}${{ github.event.workflow_run.id }}{% endraw %}
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from wheel
+        run: |
+          uv pip install dist/*.whl
+          uv pip install yardang
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from source (manual trigger)
+        run: |
+          uv pip install .[develop]
+          uv pip install yardang
+        if: github.event_name == 'workflow_dispatch'
+
       - run: yardang build
+
       - uses: peaceiris/actions-gh-pages@v4
         with:
           publish_branch: gh-pages

cppjswasm/.github/workflows/{% if add_docs %}docs.yaml{% endif %}.jinja

@@ -1,24 +1,47 @@
 name: Publish Docs
 
 on:
-  push:
-    branches:
-      - main
+  workflow_run:
+    workflows: ["Build Status"]
+    branches: [main]
+    types: [completed]
   workflow_dispatch:
+
 permissions:
+  actions: read
   contents: write
+
 jobs:
   docs:
     runs-on: ubuntu-latest
+    if: {% raw %}${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
     steps:
       - uses: actions/checkout@v6
       - uses: actions-ext/python/setup@main
-      - uses: actions-ext/node/setup@main
-      - uses: mymindstorm/setup-emsdk@v16
-      - run: make develop
-      - run: uv pip install .
-      - run: uv pip install yardang
+
+      - name: Download dist from build
+        uses: actions/download-artifact@v7
+        with:
+          name: dist-ubuntu-latest-{{python_version_primary}}
+          path: dist
+          run-id: {% raw %}${{ github.event.workflow_run.id }}{% endraw %}
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from wheel
+        run: |
+          uv pip install dist/*.whl
+          uv pip install yardang
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from source (manual trigger)
+        run: |
+          make develop
+          uv pip install .
+          uv pip install yardang
+        if: github.event_name == 'workflow_dispatch'
+
       - run: yardang build
+
       - uses: peaceiris/actions-gh-pages@v4
         with:
           publish_branch: gh-pages

js/.github/workflows/{% if add_docs %}docs.yaml{% endif %}.jinja

@@ -1,22 +1,46 @@
 name: Publish Docs
 
 on:
-  push:
-    branches:
-      - main
+  workflow_run:
+    workflows: ["Build Status"]
+    branches: [main]
+    types: [completed]
   workflow_dispatch:
+
 permissions:
+  actions: read
   contents: write
+
 jobs:
   docs:
     runs-on: ubuntu-latest
+    if: {% raw %}${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
     steps:
       - uses: actions/checkout@v6
       - uses: actions-ext/python/setup@main
-      - uses: actions-ext/node/setup@main
-      - run: uv pip install .[develop]
-      - run: uv pip install yardang
+
+      - name: Download dist from build
+        uses: actions/download-artifact@v7
+        with:
+          name: dist-ubuntu-latest
+          path: dist
+          run-id: {% raw %}${{ github.event.workflow_run.id }}{% endraw %}
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from wheel
+        run: |
+          uv pip install dist/*.whl
+          uv pip install yardang
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from source (manual trigger)
+        run: |
+          uv pip install .[develop]
+          uv pip install yardang
+        if: github.event_name == 'workflow_dispatch'
+
       - run: yardang build
+
       - uses: peaceiris/actions-gh-pages@v4
         with:
           publish_branch: gh-pages

jupyter/.github/workflows/{% if add_docs %}docs.yaml{% endif %}.jinja

@@ -1,22 +1,46 @@
 name: Publish Docs
 
 on:
-  push:
-    branches:
-      - main
+  workflow_run:
+    workflows: ["Build Status"]
+    branches: [main]
+    types: [completed]
   workflow_dispatch:
+
 permissions:
+  actions: read
   contents: write
+
 jobs:
   docs:
     runs-on: ubuntu-latest
+    if: {% raw %}${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
     steps:
       - uses: actions/checkout@v6
       - uses: actions-ext/python/setup@main
-      - uses: actions-ext/node/setup@main
-      - run: uv pip install .[develop]
-      - run: uv pip install yardang
+
+      - name: Download dist from build
+        uses: actions/download-artifact@v7
+        with:
+          name: dist-ubuntu-latest
+          path: dist
+          run-id: {% raw %}${{ github.event.workflow_run.id }}{% endraw %}
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from wheel
+        run: |
+          uv pip install dist/*.whl
+          uv pip install yardang
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from source (manual trigger)
+        run: |
+          uv pip install .[develop]
+          uv pip install yardang
+        if: github.event_name == 'workflow_dispatch'
+
       - run: yardang build
+
       - uses: peaceiris/actions-gh-pages@v4
         with:
           publish_branch: gh-pages

python/.github/workflows/{% if add_docs %}docs.yaml{% endif %}.jinja

@@ -1,21 +1,46 @@
 name: Publish Docs
 
 on:
-  push:
-    branches:
-      - main
+  workflow_run:
+    workflows: ["Build Status"]
+    branches: [main]
+    types: [completed]
   workflow_dispatch:
+
 permissions:
+  actions: read
   contents: write
+
 jobs:
   docs:
     runs-on: ubuntu-latest
+    if: {% raw %}${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
     steps:
       - uses: actions/checkout@v6
       - uses: actions-ext/python/setup@main
-      - run: uv pip install .[develop]
-      - run: uv pip install yardang
+
+      - name: Download dist from build
+        uses: actions/download-artifact@v7
+        with:
+          name: dist-ubuntu-latest
+          path: dist
+          run-id: {% raw %}${{ github.event.workflow_run.id }}{% endraw %}
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from wheel
+        run: |
+          uv pip install dist/*.whl
+          uv pip install yardang
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from source (manual trigger)
+        run: |
+          uv pip install .[develop]
+          uv pip install yardang
+        if: github.event_name == 'workflow_dispatch'
+
       - run: yardang build
+
       - uses: peaceiris/actions-gh-pages@v4
         with:
           publish_branch: gh-pages

rust/.github/workflows/{% if add_docs %}docs.yaml{% endif %}.jinja

@@ -1,22 +1,46 @@
 name: Publish Docs
 
 on:
-  push:
-    branches:
-      - main
+  workflow_run:
+    workflows: ["Build Status"]
+    branches: [main]
+    types: [completed]
   workflow_dispatch:
+
 permissions:
+  actions: read
   contents: write
+
 jobs:
   docs:
     runs-on: ubuntu-latest
+    if: {% raw %}${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
     steps:
       - uses: actions/checkout@v6
       - uses: actions-ext/python/setup@main
-      - uses: actions-ext/rust/setup@main
-      - run: uv pip install .[develop]
-      - run: uv pip install yardang
+
+      - name: Download dist from build
+        uses: actions/download-artifact@v7
+        with:
+          name: dist-ubuntu-latest
+          path: dist
+          run-id: {% raw %}${{ github.event.workflow_run.id }}{% endraw %}
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from wheel
+        run: |
+          uv pip install dist/*.whl
+          uv pip install yardang
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from source (manual trigger)
+        run: |
+          uv pip install .[develop]
+          uv pip install yardang
+        if: github.event_name == 'workflow_dispatch'
+
       - run: yardang build
+
       - uses: peaceiris/actions-gh-pages@v4
         with:
           publish_branch: gh-pages

rustjswasm/.github/workflows/{% if add_docs %}docs.yaml{% endif %}.jinja

@@ -1,24 +1,47 @@
 name: Publish Docs
 
 on:
-  push:
-    branches:
-      - main
+  workflow_run:
+    workflows: ["Build Status"]
+    branches: [main]
+    types: [completed]
   workflow_dispatch:
+
 permissions:
+  actions: read
   contents: write
+
 jobs:
   docs:
     runs-on: ubuntu-latest
+    if: {% raw %}${{ github.event.workflow_run.conclusion == 'success' || github.event_name == 'workflow_dispatch' }}{% endraw %}
     steps:
       - uses: actions/checkout@v6
       - uses: actions-ext/python/setup@main
-      - uses: actions-ext/rust/setup@main
-      - uses: actions-ext/node/setup@main
-      - run: make develop
-      - run: uv pip install .
-      - run: uv pip install yardang
+
+      - name: Download dist from build
+        uses: actions/download-artifact@v7
+        with:
+          name: dist-ubuntu-latest
+          path: dist
+          run-id: {% raw %}${{ github.event.workflow_run.id }}{% endraw %}
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from wheel
+        run: |
+          uv pip install dist/*.whl
+          uv pip install yardang
+        if: github.event_name == 'workflow_run'
+
+      - name: Install from source (manual trigger)
+        run: |
+          make develop
+          uv pip install .
+          uv pip install yardang
+        if: github.event_name == 'workflow_dispatch'
+
       - run: yardang build
+
       - uses: peaceiris/actions-gh-pages@v4
         with:
           publish_branch: gh-pages