From bad55e0c93acbeeaf190b299bf0eb6cb30251398 Mon Sep 17 00:00:00 2001
From: Florian Loitsch <florian@toit.io>
Date: Fri, 28 Jun 2024 12:00:42 +0200
Subject: [PATCH] Dispatch toitdoc rebuild.

---
 .github/workflows/ci.yml | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 23a1215e7..4eeaac44f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -37,6 +37,11 @@ on:
         required: false
         type: boolean
         default: false
+      dispatch-toitdocs:
+        description: "Dispatch toitdoc rebuild"
+        required: false
+        type: boolean
+        default: false
       run-tests:
         description: "Run tests"
         required: false
@@ -358,6 +363,26 @@ jobs:
           tag: ${{ github.event.release.tag_name }}
           overwrite: true
 
+      - name: Dispatch toitdoc rebuild - Linux
+        if: |
+          runner.os == 'Linux' && matrix.shard == 1 &&
+          ((github.event_name == 'release' && github.repository_owner == 'toitlang') ||
+           github.event.inputs.dispatch-toitdocs == 'true')
+        uses: actions/github-script@v7
+        with:
+          github-token: ${{ secrets.LEON_REPOSITORY_DISPATCH }}
+          script: |
+            await github.rest.actions.createWorkflowDispatch({
+              owner: 'toitware',
+              repo: 'web-toitdocs',
+              workflow_id: 'ci.yml',
+              ref: 'master',
+              inputs: {
+                'deploy': 'true',
+                'toitdoc-version': '${{ github.event.release.tag_name }}'
+              },
+            });
+
       - name: Upload unsigned artifacts - Windows
         if: runner.os == 'Windows' && matrix.shard == 1
         uses: actions/upload-artifact@v3