Change workflow Name

runtimeverification · Aug 1, 2023 · dc85a16 · dc85a16
1 parent 0827622
commit dc85a16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: