diff --git a/Dockerfile b/.github/actions/with-docker/Dockerfile
similarity index 100%
rename from Dockerfile
rename to .github/actions/with-docker/Dockerfile
diff --git a/.github/actions/with-docker/action.yml b/.github/actions/with-docker/action.yml
index af140e85f..ba120f88d 100644
--- a/.github/actions/with-docker/action.yml
+++ b/.github/actions/with-docker/action.yml
@@ -17,7 +17,7 @@ runs:
       TAG=runtimeverificationinc/${CONTAINER_NAME}
       K_COMMIT=$(cat ./deps/k_release)
 
-      docker build . --tag ${TAG} --build-arg K_COMMIT=${K_COMMIT}
+      docker build -f .github/actions/with-k/Dockerfile . --tag ${TAG} --build-arg K_COMMIT=${K_COMMIT}
 
       docker run                 \
         --name ${CONTAINER_NAME} \
diff --git a/.github/workflows/Dockerfile.k b/.github/actions/with-k/Dockerfile
similarity index 100%
rename from .github/workflows/Dockerfile.k
rename to .github/actions/with-k/Dockerfile
diff --git a/.github/actions/with-k/action.yml b/.github/actions/with-k/action.yml
index 98bf9115d..84473bc03 100644
--- a/.github/actions/with-k/action.yml
+++ b/.github/actions/with-k/action.yml
@@ -17,7 +17,7 @@ runs:
       TAG=runtimeverificationinc/${CONTAINER_NAME}
       K_COMMIT=$(cat ./deps/k_release)
 
-      docker build -f .github/workflows/Dockerfile.k . --tag ${TAG} --build-arg K_COMMIT=${K_COMMIT}
+      docker build -f .github/actions/with-k/Dockerfile . --tag ${TAG} --build-arg K_COMMIT=${K_COMMIT}
 
       docker run                 \
         --name ${CONTAINER_NAME} \
diff --git a/deps/k_release b/deps/k_release
index acf79a8b2..d40142978 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.149
+7.1.191