Fix #5079: Publish `dotty-doc` before scripted#5080

allanrenucci merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix/5079dotty-staging/dotty:fix/5079Copy head branch name to clipboard