From 15865369e1047aea3976cbb3d3e68ad984c17f86 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 31 Jan 2022 01:06:56 +0100 Subject: [PATCH] docker: push all tags --- tools/docker/Makefile | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tools/docker/Makefile b/tools/docker/Makefile index 4da4f51abe..10b18ceaea 100644 --- a/tools/docker/Makefile +++ b/tools/docker/Makefile @@ -67,9 +67,9 @@ tuto-smpi: . | tee tuto-smpi.log push: - docker push simgrid/build-deps - docker push simgrid/stable - docker push simgrid/unstable - docker push simgrid/tuto-s4u - docker push simgrid/tuto-smpi - docker push simgrid/tuto-mc + docker push --all-tags simgrid/build-deps + docker push --all-tags simgrid/stable + docker push --all-tags simgrid/unstable + docker push --all-tags simgrid/tuto-s4u + docker push --all-tags simgrid/tuto-smpi + docker push --all-tags simgrid/tuto-mc -- 2.20.1