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

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

masterruntimeverification/evm-semantics:masterfrom

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