merge Ci envs branch to master#1

gofman8 merged 9 commits into

masterDistributedCollective/.github:masterfrom

ci_envsDistributedCollective/.github:ci_envsCopy head branch name to clipboard