CI: platforms update#1153

grisumbras merged 5 commits intoboostorg:developboostorg/json:developfrom

grisumbras:ci/platforms-updategrisumbras/json:ci/platforms-updateCopy head branch name to clipboard