From 98d70159ca7491e3968fe9a2380518327cec30d2 Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Mon, 23 Oct 2023 15:08:43 -0600
Subject: [PATCH] revert name change, for some reason this effects the primary
 view of the original

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

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index dcf5ade2ede..ce23e4dedb8 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -1,4 +1,4 @@
-name: 'Release Testing'
+name: 'Release'
 run-name: K Framework Release ${{ github.ref_name }}
 on:
   release: