📚 ci: automate docs deploy + releases; fix dead badges/links#709

kris-jusiak merged 2 commits into

boost-ext:masterboost-ext/sml:masterfrom

PavelGuzenfeld:docs/site-fixes-v1.2.0PavelGuzenfeld/sml:docs/site-fixes-v1.2.0Copy head branch name to clipboard