From 15317429e7db9be0b0f4acaa076d3c0bc6243de6 Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <github.com@lemmster.de>
Date: Wed, 18 Sep 2024 11:57:09 -0700
Subject: [PATCH] Trigger build of tlaplus/tlaplus if this repository has been
 changed.

Related to https://github.com/tlaplus/tlaplus/commit/d7980317a3179a966f5eabb8a82fd4cffe3a80bd

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
---
 .github/workflows/main.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index b5b627a..c7fa00a 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -78,3 +78,10 @@ jobs:
         asset_path: dist/CommunityModules-deps.jar
         asset_name: CommunityModules-deps.jar
         asset_content_type: application/zip
+    - name: Repository Dispatch
+      uses: peter-evans/repository-dispatch@v3
+      with:
+        token: ${{ secrets.REPO_DISPATCH_TOKEN }}
+        repository: tlaplus/tlaplus
+        event-type: tlaplus-dispatch
+        client-payload: '{"source": "CommunityModules"}'
\ No newline at end of file