From 692867f4608de47b3672a25ec392071095b0c5a8 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Wed, 18 Aug 2021 13:13:12 +0200 Subject: [PATCH] second candidate for minizinc 2021 challenge --- tools/docker/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/docker/Makefile b/tools/docker/Makefile index d7a7f58036..1147b34824 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:2021v1 +MZN_TAG=or-tools-minizinc-challenge:2021v2 minizinc-challenge-image: docker build -f minizinc-challenge.Dockerfile -t $(MZN_TAG) .