From bcb0e6b5f73420762f6208700a43291e0066c2c3 Mon Sep 17 00:00:00 2001
From: "a.stevan" <antoine.stevan@isae-supaero.fr>
Date: Fri, 4 Apr 2025 12:25:04 +0200
Subject: [PATCH] mirror: fix "mirror image"
---
make.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/make.rs b/make.rs
index e0584a3..ed9b320 100755
--- a/make.rs
+++ b/make.rs
@@ -142,7 +142,7 @@ fn main() {
nob::run_cmd_and_fail!("docker", "login", MIRROR_REGISTRY);
} else if *push {
nob::run_cmd_and_fail!("docker", "push", &image);
- nob::run_cmd_and_fail!("docker", "push", &image);
+ nob::run_cmd_and_fail!("docker", "push", &mirror_image);
} else {
nob::run_cmd_and_fail!(
"docker",
--
GitLab