CI: build only the docs when pushing to master branch

Currently when pushing to master branch, we re-run the full build suite, multi-targets 'n all, before building and uploading the docs. That's kinda silly, since it should have already been built as part of the PR's build run. We should really just be building and uploading the docs.