Adapt GitHub workflows to produce versioned platform documentation#274

siegfriedweber merged 2 commits intomainstackabletech/documentation:mainfrom

fix_platform_doc_versioningstackabletech/documentation:fix_platform_doc_versioningCopy head branch name to clipboard