Merge branch 'master' into dc/loop-error-fix

Author: jberthold

.github/workflows/test.yml

@@ -49,7 +49,7 @@ jobs:
         with:
           container-name: mir-semantics-ci-${{ github.sha }}
       - name: 'Build stable-mir-json and kmir'
-        run: docker exec --user github-user mir-semantics-ci-${GITHUB_SHA} make stable-mir-json build
+        run: docker exec --user github-user mir-semantics-ci-${GITHUB_SHA} make build
       - name: 'Run integration tests'
         run: docker exec --user github-user mir-semantics-ci-${GITHUB_SHA} make test-integration
       - name: 'Tear down Docker'

Makefile

@@ -49,7 +49,7 @@ smir-parse-tests: # build # commented out for CI's sake
 test-unit:
 	$(UV_RUN) pytest $(TOP_DIR)/kmir/src/tests/unit --maxfail=1 --verbose $(TEST_ARGS)
 
-test-integration: build
+test-integration: stable-mir-json build
 	$(UV_RUN) pytest $(TOP_DIR)/kmir/src/tests/integration --maxfail=1 --verbose \
 			--durations=0 --numprocesses=$(PARALLEL) --dist=worksteal $(TEST_ARGS)
 

deps/k_release

@@ -1 +1 @@
-7.1.265
+7.1.268

flake.lock

@@ -1,10 +1,10 @@
 {
   description = "kmir - ";
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.265";
+    k-framework.url = "github:runtimeverification/k/v7.1.268";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
-    rv-utils.follows = "k-framework/rv-utils";
+    rv-nix-tools.follows = "k-framework/rv-nix-tools";
     poetry2nix.follows = "k-framework/poetry2nix";
   };
   outputs = { self, nixpkgs, flake-utils, k-framework, ... }@inputs:

flake.nix

@@ -8,7 +8,7 @@ version = "0.3.181"
 description = ""
 requires-python = "~=3.10"
 dependencies = [
-    "kframework==v7.1.265",
+    "kframework==v7.1.268",
 ]
 
 [[project.authors]]