From dc85a16082d6a96f3960e8150c61ed47c1fd95c7 Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Tue, 1 Aug 2023 16:36:10 -0600
Subject: [PATCH] Change workflow Name

---
 .github/workflows/user-run-test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/user-run-test.yml b/.github/workflows/user-run-test.yml
index cf8dfa2c26..5857c1287b 100644
--- a/.github/workflows/user-run-test.yml
+++ b/.github/workflows/user-run-test.yml
@@ -1,4 +1,4 @@
-name: 'Test PR'
+name: 'User Run Tests'
 on:
   workflow_dispatch:
     inputs: