diff --git a/.github/workflows/deploy-camkes-test.yml b/.github/workflows/deploy-camkes-test.yml
index ebcdd1f9..13e18fa0 100644
--- a/.github/workflows/deploy-camkes-test.yml
+++ b/.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:
diff --git a/.github/workflows/deploy-camkes-unit.yml b/.github/workflows/deploy-camkes-unit.yml
index 7976863a..d22da338 100644
--- a/.github/workflows/deploy-camkes-unit.yml
+++ b/.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:
diff --git a/.github/workflows/deploy-camkes-vm.yml b/.github/workflows/deploy-camkes-vm.yml
index bb29d91e..c985de58 100644
--- a/.github/workflows/deploy-camkes-vm.yml
+++ b/.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:
diff --git a/.github/workflows/deploy-cparser-builder.yml b/.github/workflows/deploy-cparser-builder.yml
index 71c26bb1..3c95e555 100644
--- a/.github/workflows/deploy-cparser-builder.yml
+++ b/.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:
diff --git a/.github/workflows/deploy-cparser-run.yml b/.github/workflows/deploy-cparser-run.yml
index 6e4ded34..bfc657be 100644
--- a/.github/workflows/deploy-cparser-run.yml
+++ b/.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:
diff --git a/.github/workflows/deploy-preprocess.yml b/.github/workflows/deploy-preprocess.yml
index efa95439..7855c8b3 100644
--- a/.github/workflows/deploy-preprocess.yml
+++ b/.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:
diff --git a/.github/workflows/deploy-rumprun.yml b/.github/workflows/deploy-rumprun.yml
index 70186fe7..f19e0e52 100644
--- a/.github/workflows/deploy-rumprun.yml
+++ b/.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:
diff --git a/.github/workflows/deploy-run-proofs.yml b/.github/workflows/deploy-run-proofs.yml
index 9a9e9a15..84231e17 100644
--- a/.github/workflows/deploy-run-proofs.yml
+++ b/.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:
diff --git a/.github/workflows/deploy-sel4bench.yml b/.github/workflows/deploy-sel4bench.yml
index 123c8ee3..de2aeca9 100644
--- a/.github/workflows/deploy-sel4bench.yml
+++ b/.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:
diff --git a/.github/workflows/deploy-sel4test-hw.yml b/.github/workflows/deploy-sel4test-hw.yml
index 965b70e4..7252644a 100644
--- a/.github/workflows/deploy-sel4test-hw.yml
+++ b/.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:
diff --git a/.github/workflows/deploy-sel4test-sim.yml b/.github/workflows/deploy-sel4test-sim.yml
index 3a66f803..4f22c312 100644
--- a/.github/workflows/deploy-sel4test-sim.yml
+++ b/.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:
diff --git a/.github/workflows/deploy-tutorials.yml b/.github/workflows/deploy-tutorials.yml
index 671848fb..67558823 100644
--- a/.github/workflows/deploy-tutorials.yml
+++ b/.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:
diff --git a/.github/workflows/deploy-webserver.yml b/.github/workflows/deploy-webserver.yml
index 06af674b..72020607 100644
--- a/.github/workflows/deploy-webserver.yml
+++ b/.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: