From 153218dbb116a4a03633f8d66728a3a63282d398 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Fri, 20 Aug 2021 15:19:04 +0200 Subject: [PATCH] 3rd version of minizinc challenge candidate --- tools/docker/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/docker/Makefile b/tools/docker/Makefile index 1147b34824..6b13043d4b 100644 --- a/tools/docker/Makefile +++ b/tools/docker/Makefile @@ -351,7 +351,7 @@ distclean: clean | export/archives ########################## ## MINIZINC CHALLENGE ## ########################## -MZN_TAG=or-tools-minizinc-challenge:2021v2 +MZN_TAG=or-tools-minizinc-challenge:2021v3 minizinc-challenge-image: docker build -f minizinc-challenge.Dockerfile -t $(MZN_TAG) .