Update nix flake inputs structure and add rv-nix-tools to dependency update workflow#4824

automergerpr-permission-manager[bot] merged 5 commits into

developruntimeverification/k:developfrom

update-deps-rv-nix-toolsruntimeverification/k:update-deps-rv-nix-toolsCopy head branch name to clipboard