From 9d51c81685edb7f004ade1f4f1916ffcefa4ebd6 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@runtimeverification.com>
Date: Tue, 9 Jul 2024 12:07:38 -0500
Subject: [PATCH] add master-update branch trigger (#4)

---
 .github/workflows/test-pr.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index 481abe6d2..77af7161d 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -1,6 +1,9 @@
 name: 'Run Tests'
 on:
   pull_request:
+  push:
+    branches:
+      - 'master-update'
   workflow_dispatch:
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}