.github/{Dockerfile,with-docker}: copy KEVM approach

Author: ehildenb

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

@@ -17,14 +17,27 @@ runs:
       TAG=runtimeverificationinc/${CONTAINER_NAME}
       K_COMMIT=$(grep -Po '[0-9.]+' ./deps/k_release)
 
-      docker build . --tag ${TAG} --build-arg K_COMMIT=${K_COMMIT} --file .github/workflows/Dockerfile
+      USER=github-user
+      GROUP=${USER}
+      USER_ID=1000
+      GROUP_ID=${USER_ID}
 
-      docker run                 \
-        --name ${CONTAINER_NAME} \
-        --rm                     \
-        --interactive            \
-        --tty                    \
-        --detach                 \
-        -v ${PWD}:${PWD}         \
-        --workdir ${PWD}         \
+      docker build . --tag ${TAG}           \
+        --file .github/workflows/Dockerfile \
+        --build-arg K_COMMIT=${K_COMMIT}    \
+        --build-arg USER=${USER}            \
+        --build-arg GROUP=${GROUP}          \
+        --build-arg USER_ID=${USER_ID}      \
+        --build-arg GROUP_ID=${GROUP_ID}
+
+      docker run                          \
+        --name ${CONTAINER_NAME}          \
+        --rm                              \
+        --interactive                     \
+        --tty                             \
+        --detach                          \
+        --workdir /home/${USER}/workspace \
         ${TAG}
+
+      docker cp . ${CONTAINER_NAME}:/home/${USER}/workspace
+      docker exec ${CONTAINER_NAME} chown -R ${USER}:${GROUP} /home/${USER}

.github/workflows/Dockerfile

@@ -5,9 +5,16 @@ RUN    apt-get update        \
     && apt-get upgrade --yes \
     && apt-get install --yes \
          curl
+
+ARG USER=user
+ARG GROUP
 ARG USER_ID=1000
 ARG GROUP_ID=1000
-RUN groupadd -g $GROUP_ID user && useradd -m -u $USER_ID -s /bin/sh -g user user
-USER user:user
+RUN groupadd -g ${GROUP_ID} ${GROUP} && useradd -m -u ${USER_ID} -s /bin/sh -g ${GROUP} ${USER}
+USER ${USER}:${GROUP}
+
+RUN mkdir /home/${USER}/workspace
+WORKDIR /home/${USER}/workspace
+
 ENV PATH=/home/user/.local/bin:${PATH}
 RUN curl -LsSf https://astral.sh/uv/install.sh | sh && uv --version