[NO REVIEW] CI: Factorization and misc improvements#25

bonachea merged 3 commits into

BerkeleyLab:mainBerkeleyLab/formal:mainfrom

bonachea:ci-tweaksbonachea/formal:ci-tweaksCopy head branch name to clipboard