diff --git a/tools/docker/Makefile b/tools/docker/Makefile index f724f946f5b..0b7294402cb 100644 --- a/tools/docker/Makefile +++ b/tools/docker/Makefile @@ -709,7 +709,7 @@ distclean: clean ########################## ## MINIZINC CHALLENGE ## ########################## -MZN_TAG=or-tools-minizinc-challenge:2023v1 +MZN_TAG=or-tools-minizinc-challenge:2023v2 .PHONY: minizinc-challenge minizinc-challenge: minizinc-challenge.Dockerfile