refactor: invert server dependencies onto interfaces (DIP)#45

RaoulSchaffranek merged 2 commits into

mainruntimeverification/komet-node:mainfrom

refactor/dependency-inversionruntimeverification/komet-node:refactor/dependency-inversionCopy head branch name to clipboard