From 4f840cd0433a995ce712a520cb7ab9fb27088313 Mon Sep 17 00:00:00 2001
From: lantz <rlantz@cs.stanford.edu>
Date: Thu, 31 Mar 2022 18:05:41 -0700
Subject: [PATCH] enable manual trigger with on:workflow_dispatch:

---
 .github/workflows/build-vm.yaml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build-vm.yaml b/.github/workflows/build-vm.yaml
index 0f37605..ecbb1b3 100644
--- a/.github/workflows/build-vm.yaml
+++ b/.github/workflows/build-vm.yaml
@@ -1,12 +1,13 @@
 name: mininet-vm-build
 
 on:
+  workflow_dispatch:
   push:
   pull_request:
   # Nightly build at 1:15 UTC
   schedule:
     - cron: '01 15 * * *'
-
+  
 jobs:
   build:
     name: Mininet VM Build