Update nix flake inputs structure and add rv-nix-tools to dependency update workflow (#727)

juliankuners · F-WRunTime · rv-auditor · web-flow · commit 1f69dd99ab70 · 2025-06-06T15:43:54.000Z
* adapt nix flake inputs for `rv-nix-tools` and `nixpkgs`

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

* Set Version: 0.1.129

---------

Co-authored-by: Freeman &lt;105403280+F-WRunTime@users.noreply.github.com&gt;
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
@@ -3,6 +3,8 @@ on:
   push:
     branches:
       - '_update-deps/runtimeverification/k'
+      - '_update-deps/runtimeverification/rv-nix-tools'
+
 # Stop in progress workflows on the same branch and same workflow to use latest committed code
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
@@ -46,7 +48,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
       - name: 'Push updates'
diff --git a/deps/rv-nix-tools b/deps/rv-nix-tools
@@ -0,0 +1 @@
+854d4f05ea78547d46e807b414faad64cea10ae4
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -2,14 +2,19 @@
   description = "K Semantics of WebAssembly";
 
   inputs = {
+    rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4";
+    nixpkgs.follows = "rv-nix-tools/nixpkgs";
+
+
     k-framework.url = "github:runtimeverification/k/v7.1.257";
-    nixpkgs.follows = "k-framework/nixpkgs";
+    k-framework.inputs.nixpkgs.follows = "nixpkgs";
+
     flake-utils.follows = "k-framework/flake-utils";
-    rv-utils.follows = "k-framework/rv-utils";
     poetry2nix.follows = "k-framework/poetry2nix";
+    poetry2nix.inputs.nixpkgs.follows = "nixpkgs";
   };
 
-  outputs = { self, k-framework, nixpkgs, flake-utils, rv-utils, ... }@inputs:
+  outputs = { self, k-framework, nixpkgs, flake-utils, rv-nix-tools, ... }@inputs:
     let
       overlay = (final: prev:
         let
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.128
+0.1.129
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pykwasm"
-version = "0.1.128"
+version = "0.1.129"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",

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