github: trigger main test on push to master (#5)

The trigger action sends repository_dispatch events to all main test repositories of the manifests this repo is part of. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Aug 27, 2021 · 69af531 · 69af531
1 parent ede9814
commit 69af531
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.github/workflows/trigger.yml b/.github/workflows/trigger.yml
@@ -0,0 +1,19 @@
+# Copyright 2021, Proofcraft Pty Ltd
+#
+# SPDX-License-Identifier: BSD-2-Clause
+
+# Trigger repository dispatch on main test repos
+name: Trigger
+
+on:
+  push:
+    branches: [master]
+
+jobs:
+  trigger:
+    name: Repository Dispatch
+    runs-on: ubuntu-latest
+    steps:
+    - uses: seL4/ci-actions/trigger@master
+      with:
+        token: ${{ secrets.PRIV_REPO_TOKEN }}