Adapt CI pipelines to have develop as default branch#844

javuto merged 1 commit into

developjmpsec/osctrl:developfrom

develop-default-branchjmpsec/osctrl:develop-default-branchCopy head branch name to clipboard