From ff300da53da0c65192ee353e190e7ad53b58d4fa Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Sun, 15 Jan 2023 10:45:39 +0000
Subject: [PATCH] Add workflow_dispatch trigger to workflow so that it can be
 started manually.

---
 mps/.github/workflows/c-cpp.yml | 3 +++
 1 file changed, 3 insertions(+)

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: