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

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

masterruntimeverification/komet:masterfrom

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