formatting release tags for branch handler

VirtualFlyBrain · Jan 4, 2021 · f9cd0dd · f9cd0dd
1 parent f00cd3f
commit f9cd0dd
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -26,7 +26,11 @@ jobs:
       # Decide based on branch which servers to use
       - name: Pass branch
         id: branch
-        run: echo "::set-output name=value::${GITHUB_REF##*/}";
+        run: if [[ ${GITHUB_REF##*/} == v*) ]]; then
+            echo "::set-output name=value::'RELEASE '${GITHUB_REF##*/}";
+          else
+            echo "::set-output name=value::${GITHUB_REF##*/}";
+          fi;
       - name: Setup local servers
         id: local-servers
         shell: bash