Add actions/checkout
GitHub action to docs-publish
#2518
Merged
actions/checkout
GitHub action to docs-publish
#2518