Trigger build of tlaplus/tlaplus if this repository has been changed.

Related to tlaplus/tlaplus@d798031 Signed-off-by: Markus Alexander Kuppe <[email protected]>
tlaplus · Sep 18, 2024 · 1531742 · 1531742
1 parent 73a56dc
commit 1531742
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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"}'