From d30d3ae97f4c5b976a2e88f48d3a95ab39f57a64 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Traian-Florin=20=C8=98erb=C4=83nu=C8=9B=C4=83?=
 <traian.serbanuta@gmail.com>
Date: Sat, 21 Dec 2024 11:55:49 +0200
Subject: [PATCH] Updating K version

---
 Dockerfile => .github/actions/with-docker/Dockerfile          | 0
 .github/actions/with-docker/action.yml                        | 2 +-
 .github/{workflows/Dockerfile.k => actions/with-k/Dockerfile} | 0
 .github/actions/with-k/action.yml                             | 2 +-
 deps/k_release                                                | 2 +-
 5 files changed, 3 insertions(+), 3 deletions(-)
 rename Dockerfile => .github/actions/with-docker/Dockerfile (100%)
 rename .github/{workflows/Dockerfile.k => actions/with-k/Dockerfile} (100%)

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