github: repository_dispatch trigger on deps-update

Allow remote repositories to trigger container deployment on this repo
with the `deps-update` payload. The intention is for this to be used
from the seL4-CAmkES-L4v-Dockerfiles repo when the base docker images
are updated.

Signed-off-by: Gerwin Klein <[email protected]>

.github/workflows/deploy-camkes-test.yml

@@ -15,6 +15,9 @@ on:
     - 'seL4-platforms/**'
     - 'camkes-test/**'
   workflow_dispatch:
+  # allow explict trigger from other repos when dependencies have changed
+  repository_dispatch:
+    types: [deps-update]
 
 jobs:
   docker:

.github/workflows/deploy-camkes-unit.yml

@@ -14,6 +14,9 @@ on:
     - 'scripts/**'
     - 'camkes-unit/**'
   workflow_dispatch:
+  # allow explict trigger from other repos when dependencies have changed
+  repository_dispatch:
+    types: [deps-update]
 
 jobs:
   docker:

.github/workflows/deploy-camkes-vm.yml

@@ -15,6 +15,9 @@ on:
     - 'seL4-platforms/**'
     - 'camkes-vm/**'
   workflow_dispatch:
+  # allow explict trigger from other repos when dependencies have changed
+  repository_dispatch:
+    types: [deps-update]
 
 jobs:
   docker:

.github/workflows/deploy-cparser-builder.yml

@@ -24,7 +24,7 @@ on:
     - 'cparser-run/**'
     - 'preprocess/**'
   repository_dispatch:
-    types: [cparser-deploy]
+    types: [cparser-deploy, deps-update]
   workflow_dispatch:
 
 jobs:

.github/workflows/deploy-cparser-run.yml

@@ -9,7 +9,7 @@ name: Deploy CParser Run
 on:
   # the real build trigger is in deploy-cparser-builder
   repository_dispatch:
-    types: [cparser-build]
+    types: [cparser-build, deps-update]
   workflow_dispatch:
 
 jobs:

.github/workflows/deploy-preprocess.yml

@@ -9,7 +9,7 @@ name: Deploy Preprocess Test
 on:
   # the real build trigger is in deploy-cparser-builder
   repository_dispatch:
-    types: [cparser-build]
+    types: [cparser-build, deps-update]
   workflow_dispatch:
 
 jobs:

.github/workflows/deploy-rumprun.yml

@@ -15,6 +15,9 @@ on:
     - 'seL4-platforms/**'
     - 'rump-hello/**'
   workflow_dispatch:
+  # allow explict trigger from other repos when dependencies have changed
+  repository_dispatch:
+    types: [deps-update]
 
 jobs:
   docker:

.github/workflows/deploy-run-proofs.yml

@@ -14,6 +14,9 @@ on:
     - 'scripts/**'
     - 'run-proofs/**'
   workflow_dispatch:
+  # allow explict trigger from other repos when dependencies have changed
+  repository_dispatch:
+    types: [deps-update]
 
 jobs:
   docker:

.github/workflows/deploy-sel4bench.yml

@@ -15,6 +15,9 @@ on:
     - 'seL4-platforms/**'
     - 'sel4bench/**'
   workflow_dispatch:
+  # allow explict trigger from other repos when dependencies have changed
+  repository_dispatch:
+    types: [deps-update]
 
 jobs:
   docker:

.github/workflows/deploy-sel4test-hw.yml

@@ -15,6 +15,9 @@ on:
     - 'seL4-platforms/**'
     - 'sel4test-hw/**'
   workflow_dispatch:
+  # allow explict trigger from other repos when dependencies have changed
+  repository_dispatch:
+    types: [deps-update]
 
 jobs:
   docker:

.github/workflows/deploy-sel4test-sim.yml

@@ -15,6 +15,9 @@ on:
     - 'seL4-platforms/**'
     - 'sel4test-sim/**'
   workflow_dispatch:
+  # allow explict trigger from other repos when dependencies have changed
+  repository_dispatch:
+    types: [deps-update]
 
 jobs:
   docker:

.github/workflows/deploy-tutorials.yml

@@ -15,6 +15,9 @@ on:
     - 'seL4-platforms/**'
     - 'tutorials/**'
   workflow_dispatch:
+  # allow explict trigger from other repos when dependencies have changed
+  repository_dispatch:
+    types: [deps-update]
 
 jobs:
   docker:

.github/workflows/deploy-webserver.yml

@@ -15,6 +15,9 @@ on:
     - 'seL4-platforms/**'
     - 'webserver/**'
   workflow_dispatch:
+  # allow explict trigger from other repos when dependencies have changed
+  repository_dispatch:
+    types: [deps-update]
 
 jobs:
   docker: