fix push script

ajslater · Sep 9, 2020 · 85e3f2e · 85e3f2e
1 parent ad51ec6
commit 85e3f2e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/tag-and-push.sh b/ci/tag-and-push.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -euo pipefail
 source ./docker-env
-VERSION=${BASE_VERSION}_codex-${PKG_VERSION}
+VERSION=${RUNNABLE_BASE_VERSION}_codex-${PKG_VERSION}
 TAG=$VERSION-$(echo "$CIRCLE_SHA1" | head -c 7)
 docker tag "$IMAGE" "$IMAGE:$TAG"
 docker tag "$IMAGE" "$IMAGE:latest"