From daf28f51ab0222a2f3083f93e19e60bed1f194be Mon Sep 17 00:00:00 2001
From: Jacob Bandes-Storch <jacob@bandes-stor.ch>
Date: Thu, 22 Aug 2024 13:16:12 -0700
Subject: [PATCH] Add repository_dispatch trigger (#181)

* Add repository_dispatch trigger

* Add explicit type

* .github/workflows/main.yml: extend code comment

---------

Co-authored-by: Petr Pucil <petr.pucil@seznam.cz>
---
 .github/workflows/main.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index e6d9ce19..0cbc34ff 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -6,6 +6,14 @@ on:
       - master
       - stable
 
+  # Allow this workflow to be run on the `master` branch when a webhook event
+  # called `repository_dispatch` is triggered. This is used from the CI workflow
+  # in https://github.com/kaitai-io/kaitai_struct to rebuild the devel Web IDE
+  # after a new version of KSC is published to npm.
+  repository_dispatch:
+    types:
+      - rebuild
+
 jobs:
   build:
     runs-on: ubuntu-latest