rename CI workflow in GHA config for more informative badges

urbanopt · Aug 25, 2023 · d97fc5d · d97fc5d
1 parent 78c68ae
commit d97fc5d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/nightly_ci_build.yml b/.github/workflows/nightly_ci_build.yml
@@ -1,5 +1,5 @@
 
-name: nightly_build
+name: Scenario-gem CI
 
 on:
   # push: