bump docker tag

google · Jul 22, 2024 · 7fbe3d7 · 7fbe3d7
1 parent 7f5ab52
commit 7fbe3d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ortools/flatzinc/challenge/Makefile b/ortools/flatzinc/challenge/Makefile
@@ -18,7 +18,7 @@ DOCKER_BUILD_CMD := docker build
 endif
 DOCKER_RUN_CMD := docker run --rm --init
 
-MZN_SUFFIX=2024v4
+MZN_SUFFIX=2024v5
 DOCKER_NAME=cp-sat-minizinc-challenge
 MZN_TAG=${DOCKER_NAME}:${MZN_SUFFIX}
 MZN_LS_TAG=${DOCKER_NAME}-ls:${MZN_SUFFIX}