Fix invalid symbols

runtimeverification · Dec 12, 2024 · d254bea · d254bea
1 parent 7c44efd
commit d254bea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docker-push.yml b/.github/workflows/docker-push.yml
@@ -24,7 +24,7 @@ jobs:
           KONTROL_VERSION=$(cat package/version)
           echo "CONTAINER_NAME=kontrol-ci-docker-${GITHUB_SHA}" >> ${GITHUB_ENV}
           # TODO:temp
-          SANITIZED_BRANCH_NAME=${{ github.head_ref // '/' / '-' }}
+          SANITIZED_BRANCH_NAME=$(echo "${BRANCH_NAME}" | tr '/' '-')
           TAG=runtimeverificationinc/kontrol:ubuntu-jammy-${SANITIZED_BRANCH_NAME}
           echo "TAG=${TAG}" >> ${GITHUB_ENV}
           echo "DOCKER_USER=user" >> ${GITHUB_ENV}