Add GitHub Actions workflow to host docs in GitHub pages#7

coord-e merged 1 commit into

maincoord-e/thrust:mainfrom

docs-pagescoord-e/thrust:docs-pagesCopy head branch name to clipboard