revert name change, for some reason this effects the primary view of …

…the original
runtimeverification · Oct 23, 2023 · 98d7015 · 98d7015
1 parent 20100f9
commit 98d7015
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: