diff --git a/mps/.github/workflows/c-cpp.yml b/mps/.github/workflows/c-cpp.yml
index 0e45cbe334c..5ab80fa7faa 100644
--- a/mps/.github/workflows/c-cpp.yml
+++ b/mps/.github/workflows/c-cpp.yml
@@ -9,6 +9,9 @@ name: C/C++ CI
 on:
   - push
   - pull_request
+  # Also run when triggered manually
+  # <https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow>
+  - workflow_dispatch
 
 jobs:
   build-posix: