From cdf27d2b897b8c8d52b4a3ce88e3e3fd3339fe07 Mon Sep 17 00:00:00 2001
From: Freeman <105403280+F-WRunTime@users.noreply.github.com>
Date: Tue, 3 Oct 2023 21:42:09 -0600
Subject: [PATCH] Update action.yml

---
 .github/actions/with-docker/action.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/actions/with-docker/action.yml b/.github/actions/with-docker/action.yml
index ac9e2534..38f5a217 100644
--- a/.github/actions/with-docker/action.yml
+++ b/.github/actions/with-docker/action.yml
@@ -26,8 +26,8 @@ runs:
         --detach                          \
         --user root                       \
         --workdir /home/user/workspace            \
-        runtimeverificationinc/kontrol:ubuntu-jammy-${CONTAINER_VERSION}
+        ghcr.io/runtimeverification/devops/kontrol-kup:0.1.15
 
       # Copy the current Checkout direcotry into the container
-      docker cp . ${CONTAINER_NAME}:/home/user/workspace
-      docker exec ${CONTAINER_NAME} chown -R user:user /home/user
+      docker cp . ${CONTAINER_NAME}:/home/ubuntu/workspace
+      docker exec ${CONTAINER_NAME} chown -R ubuntu:ubuntu /home/user