From fe2839e8e8e8437d528bd62eb963696ad62ca4db Mon Sep 17 00:00:00 2001
From: Victor Lin <13424970+victorlin@users.noreply.github.com>
Date: Tue, 4 Oct 2022 11:30:03 -0700
Subject: [PATCH] Allow manual trigger of CI workflow

---
 .github/workflows/ci.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 0106ca9c9..bd6be8b81 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -4,6 +4,7 @@ on:
       - master
       - release
   pull_request:
+  workflow_dispatch:
 name: ci
 jobs:
   build: