Updating K version

Pi-Squared-Inc · Dec 21, 2024 · d30d3ae · d30d3ae
1 parent 7dd4252
commit d30d3ae
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 3 deletions.
diff --git a/Dockerfile → .github/actions/with-docker/Dockerfile b/Dockerfile → .github/actions/with-docker/Dockerfile
diff --git 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 → .github/actions/with-k/Dockerfile b/.github/workflows/Dockerfile.k → .github/actions/with-k/Dockerfile
diff --git 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
@@ -1 +1 @@
-7.1.149
+7.1.191