adapt update-version.yml workflow for rv-nix-tools

juliankuners · juliankuners · commit 1ad54a023ff2 · 2025-05-26T10:50:04.000+02:00
diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
@@ -42,7 +42,9 @@ jobs:
       - name: 'Update Nix flake inputs'
         run: |
           K_VERSION=v"$(cat deps/k_release)"
+          RV_NIX_TOOLS_VERSION=$(cat deps/rv-nix-tools)
           sed -i 's!    k-framework.url = "github:runtimeverification/k/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+"!    k-framework.url = "github:runtimeverification/k/'"${K_VERSION}"'"!' flake.nix
+          sed -i 's!    rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/[a-z0-9\.]*"!    rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/'"${RV_NIX_TOOLS_VERSION}"'"!' flake.nix
           nix flake update
           git add flake.nix flake.lock && git commit -m 'flake.{nix,lock}: update Nix derivations' || true
 
diff --git a/deps/rv-nix-tools b/deps/rv-nix-tools
@@ -0,0 +1 @@
+854d4f05ea78547d46e807b414faad64cea10ae4

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+854d4f05ea78547d46e807b414faad64cea10ae4`