update flake

runtimeverification · Sep 10, 2024 · 56d03ad · 56d03ad
1 parent 591c481
commit 56d03ad
Show file tree

Hide file tree

Showing 4 changed files with 211 additions and 1,528 deletions.
diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
@@ -60,11 +60,8 @@ jobs:
       - name: 'Update Nix flake inputs'
         run: |
           KMULTIVERSX_VERSION=$(cat deps/mx-semantics_release)
-          K_VERSION=$(cat deps/k_release)
 
           sed -i 's!    mx-semantics.url = "github:runtimeverification/mx-semantics/[v0-9\.]*"!    mx-semantics.url = "github:runtimeverification/mx-semantics/v'"${KMULTIVERSX_VERSION}"'"!' flake.nix
-          sed -i 's!    k-framework.url = "github:runtimeverification/k/[v0-9\.]*"!    k-framework.url = "github:runtimeverification/k/v'"${K_VERSION}"'"!' flake.nix
-          sed -i 's!    pyk.url = "github:runtimeverification/k/[v0-9\.]*?dir=pyk"!    pyk.url = "github:runtimeverification/k/v'"${K_VERSION}"'?dir=pyk"!' flake.nix
 
           nix --extra-experimental-features 'nix-command flakes' --show-trace flake update
           git add flake.nix flake.lock && git commit -m 'flake.{nix,lock}: update Nix derivations' || true

diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.85
+7.1.131