Merge branch 'develop' into _update-deps/runtimeverification/hs-backe…

…nd-booster
runtimeverification · Oct 12, 2023 · 49b2ac2 · 49b2ac2
2 parents a4368c8 + e6e3157
commit 49b2ac2
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