Use new Z3 image location (#3702)

This PR points the K CI dockerfile to the new Z3 image repository from runtimeverification/z3-images#4
runtimeverification · Oct 11, 2023 · e6e3157 · e6e3157
1 parent 6181e46
commit e6e3157
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/Dockerfile b/.github/workflows/Dockerfile
@@ -3,7 +3,7 @@ ARG BASE_DISTRO
 ARG K_VERSION
 
 ARG Z3_VERSION
-FROM runtimeverificationinc/${BASE_OS}-${BASE_DISTRO}-z3:${Z3_VERSION} as Z3
+FROM runtimeverificationinc/z3:${BASE_OS}-${BASE_DISTRO}-${Z3_VERSION} as Z3
 
 ARG BASE_OS
 ARG BASE_DISTRO