Build and deploy production documentation #202
production_deploy_documentation.yml
on: push
Build the documentation and deploy
57s
Deploy to GitHub Pages
11s