deploy book via official actions#200

marcoieni merged 1 commit intorust-lang:masterrust-lang/polonius:masterfrom

marcoieni:use-official-github-actionmarcoieni/polonius:use-official-github-actionCopy head branch name to clipboard