tools/docker: Update MZN_TAG

google · Jul 7, 2023 · b26731d · b26731d
1 parent 17a60fb
commit b26731d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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