Ci 3.7 updates#4831

pepone wants to merge 12 commits into

3.7zeroc-ice/ice:3.7from

ci-3.7-updateszeroc-ice/ice:ci-3.7-updatesCopy head branch name to clipboard