Replace collection of Dockerfiles for past MiniZinc challenges with t…

…he one for 2023
informarte · Jun 23, 2023 · 7b41e0b · 7b41e0b
1 parent b81ce8f
commit 7b41e0b
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 94 deletions.
diff --git a/docker/mznc22/Dockerfile → docker/minizinc-challenge/Dockerfile b/docker/mznc22/Dockerfile → docker/minizinc-challenge/Dockerfile
@@ -1,4 +1,4 @@
-FROM minizinc/mznc2022:latest
+FROM minizinc/mznc2023:latest
 
 LABEL maintainer="[email protected]"
 LABEL description="Yuck is a local-search constraint solver with FlatZinc interface"

diff --git a/docker/mznc19/Dockerfile b/docker/mznc19/Dockerfile
diff --git a/docker/mznc20/Dockerfile b/docker/mznc20/Dockerfile
diff --git a/docker/mznc21/Dockerfile b/docker/mznc21/Dockerfile
diff --git a/docker/Dockerfile → docker/release/Dockerfile b/docker/Dockerfile → docker/release/Dockerfile