CI and cmake improvement#7

timblechmann merged 2 commits into

maintimblechmann/nova_symbol:mainfrom

feature/citimblechmann/nova_symbol:feature/ciCopy head branch name to clipboard