Adding dockerfile if we need to control z3 install, cleaning docker b…

…uild action

.github/actions/with-docker/action.yml

@@ -15,6 +15,8 @@ runs:
       CONTAINER_NAME=${{inputs.container-name}}
       CONTAINER_VERSION=$(cat deps/kontrol_release)
       
+      docker build . --name solady-ci --build-arg KONTROL_VERSION=$(cat deps/kontrol_release)
+
       docker run                                                    \
         --name ${CONTAINER_NAME}                                    \
         --rm                                                        \
@@ -23,7 +25,7 @@ runs:
         --detach                                                    \
         --user root                                                 \
         --workdir /home/user/workspace                            \
-        runtimeverificationinc/kontrol:ubuntu-jammy-${CONTAINER_VERSION}
+        solady-ci
 
       # Copy the current Checkout direcotry into the container
       docker cp . ${CONTAINER_NAME}:/home/user/workspace

Dockerfile

@@ -1,16 +1,13 @@
-FROM ghcr.io/runtimeverification/devops/kup:643101c
+ARG KONTROL_RELEASE
+FROM runtimeverificationinc/kontrol:ubuntu-jammy-${KONTROL_RELEASE}
 
 USER root
 RUN apt-get update && apt-get install -y \
     git \
     && rm -rf /var/lib/apt/lists/*
 
-USER ubuntu 
+USER user 
 RUN curl -L https://foundry.paradigm.xyz | bash
-RUN /home/ubuntu/.foundry/bin/foundryup
+RUN /home/user/.foundry/bin/foundryup
 
-ARG KONTROL_RELEASE=v0.1.15
-RUN kup install kontrol --version v$KONTROL_RELEASE 
-RUN nix-store --gc 
-
-ENV PATH="/home/ubuntu/.foundry/bin:${PATH}"
+ENV PATH="/home/user/.foundry/bin:${PATH}"