Update dependency: deps/mx-semantics_release

.github/workflows/update-version.yml

@@ -48,23 +48,15 @@ jobs:
       - name: 'Install Nix/Cachix'
         uses: cachix/install-nix-action@v19
         with:
-          install_url: https://releases.nixos.org/nix/nix-2.13.3/install
+          install_url: https://releases.nixos.org/nix/nix-2.23.3/install
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
 
-      - uses: cachix/cachix-action@v12
-        with:
-          name: k-framework
-          authToken: ${{ secrets.CACHIX_PUBLIC_TOKEN }}
-
       - 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

deps/k_release

@@ -1 +1 @@
-7.1.85
+7.1.140

deps/mx-semantics_release

@@ -1 +1 @@
-0.1.107
+0.1.119