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) .