update k to 6.0.151 and re-enable integration tests

runtimeverification · Oct 19, 2023 · a19fa9b · a19fa9b
1 parent d3c3094
commit a19fa9b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -155,8 +155,7 @@ jobs:
 
       - name: Run integration tests
         run: |
-          # nix develop github:runtimeverification/k/v$(cat deps/k_release)#kore-integration-tests \
-          nix develop github:runtimeverification/k/sam/slim-nix#kore-integration-tests --refresh \
+          nix develop github:runtimeverification/k/v$(cat deps/k_release)#kore-integration-tests \
                 --override-input haskell-backend . --update-input haskell-backend \
                 --command bash -c "cd test && make -j2 --output-sync test"
 

diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-6.0.148
+6.0.151