ci: Another fix for Docker build script

GaloisInc · Oct 13, 2022 · 7d88c58 · 7d88c58
1 parent e2dde44
commit 7d88c58
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/scripts/gha-docker-build b/scripts/gha-docker-build
@@ -53,9 +53,12 @@ docker build \
 cd ..
 
 if [[ "${PUSH}" == "1" ]]; then
-  docker tag "${full_image_name}:${ref}" "${full_image_name}:main"
   docker push "${full_image_name}:${ref}"
+
+  docker tag "${full_image_name}:${ref}" "${full_image_name}:main"
   docker push "${full_image_name}:main"
+
+  docker tag "${full_image_name}:${ref}" "${full_image_name}:v$(./scripts/version.sh)"
   docker push "${full_image_name}:v$(./scripts/version.sh)"
 fi