Merge pull request #1393 from o1-labs/dw/remove-release

CI: remove prefix 'release/' when tagging docker images

Author: dannywillems

.github/workflows/docker.yaml

@@ -145,7 +145,8 @@ jobs:
             echo "ADDITIONAL_TAGS=" >> $GITHUB_ENV
           elif [[ "${{ github.ref }}" == refs/heads/release/* ]]; then
             BRANCH_NAME="${GITHUB_REF#refs/heads/}"
-            echo "GIT_COMMIT=${BRANCH_NAME}" >> $GITHUB_ENV
+            VERSION="${BRANCH_NAME#release/}"
+            echo "GIT_COMMIT=${VERSION}" >> $GITHUB_ENV
             echo "ADDITIONAL_TAGS=" >> $GITHUB_ENV
           fi
 
@@ -182,7 +183,8 @@ jobs:
             echo "ADDITIONAL_TAGS=" >> $GITHUB_ENV
           elif [[ "${{ github.ref }}" == refs/heads/release/* ]]; then
             BRANCH_NAME="${GITHUB_REF#refs/heads/}"
-            echo "GIT_COMMIT=${BRANCH_NAME}" >> $GITHUB_ENV
+            VERSION="${BRANCH_NAME#release/}"
+            echo "GIT_COMMIT=${VERSION}" >> $GITHUB_ENV
             echo "ADDITIONAL_TAGS=" >> $GITHUB_ENV
           fi