From c3a701bbb5396bb213614ffce4658ca464f39fcb Mon Sep 17 00:00:00 2001
From: Shilpi Goel <shigoel@gmail.com>
Date: Thu, 8 Feb 2024 19:58:02 -0600
Subject: [PATCH] Add workflow_dispatch to makefile.yml

This should enable the use of manual triggers from GitHub UI.
---
 .github/workflows/makefile.yml | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
index 4d2eece1..959f758e 100644
--- a/.github/workflows/makefile.yml
+++ b/.github/workflows/makefile.yml
@@ -1,10 +1,13 @@
 name: Makefile CI
 
 on:
-  push:
-    branches: [ "main" ]
-  pull_request:
-    branches: [ "main" ]
+  # Run using manual triggers from GitHub UI:
+  # https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow
+  workflow_dispatch: {}
+  # Run on pushes:
+  push: {}
+  # Run on every pull request:
+  pull_request: {}
 
 jobs:
   build: