From eb6a14a28dd5055a3b75fb7c3e64007e283bc40d Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 28 Mar 2024 21:08:17 -0600
Subject: [PATCH] Run on pull request

---
 .github/workflows/test.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 21c3e54..9a93466 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -1,6 +1,11 @@
 name: Kontrol CI Demo
 
-on: workflow_dispatch
+on: 
+  pull_request:
+    branches:
+      - master
+  
+  workflow_dispatch:
 
 env:
   FOUNDRY_PROFILE: ci