From bc64cd79c947d4d2bb830d52c21128e492fe8751 Mon Sep 17 00:00:00 2001
From: Bruce Collie <brucecollie82@gmail.com>
Date: Wed, 11 Oct 2023 20:02:55 +0100
Subject: [PATCH] Use new Z3 image location

---
 .github/workflows/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/Dockerfile b/.github/workflows/Dockerfile
index d250f1c033d..9d550930a5c 100644
--- 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