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

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

masterruntimeverification/blockchain-k-plugin:masterfrom

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