ci: fix docker push

docker does not support pushing and tagging with a different name in one
go as podman does.

Signed-off-by: Harald Hoyer <harald@matterlabs.dev>
This commit is contained in:
Harald Hoyer 2024-02-15 09:38:28 +01:00
parent d22b00d859
commit ec26f75cfb
Signed by: harald
GPG key ID: F519A1143B3FBE32

View file

@ -101,5 +101,7 @@ jobs:
export IMAGE_TAG=$(docker load < result | grep -Po 'Loaded image.*: \K.*') export IMAGE_TAG=$(docker load < result | grep -Po 'Loaded image.*: \K.*')
echo "Pushing image ${IMAGE_TAG} to Docker Hub" echo "Pushing image ${IMAGE_TAG} to Docker Hub"
echo "IMAGE_TAG=${IMAGE_TAG}" >> $GITHUB_ENV echo "IMAGE_TAG=${IMAGE_TAG}" >> $GITHUB_ENV
docker push "${IMAGE_TAG}" matterlabsrobot/"${IMAGE_TAG}" docker tag "${IMAGE_TAG}" matterlabsrobot/"${IMAGE_TAG}"
docker push "${IMAGE_TAG}" matterlabsrobot/"${IMAGE_TAG%:*}:latest" docker push matterlabsrobot/"${IMAGE_TAG}"
docker tag matterlabsrobot/"${IMAGE_TAG}" matterlabsrobot/"${IMAGE_TAG%:*}:latest"
docker push matterlabsrobot/"${IMAGE_TAG%:*}:latest"