Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add workflow to auto-deploy docs when pushing to deploy-docs #67

Merged
merged 6 commits into from
Jun 19, 2023

Conversation

mvanderkamp
Copy link
Contributor

@mvanderkamp mvanderkamp commented Jun 19, 2023

Adds a github action to auto-build and deploy the documentation when someone pushes changes to the deploy-docs branch.

This allows us to delete the docs/ folder from the main repo and removes the need to periodically run npm run docs and commit the result.

Awesome.

@mvanderkamp mvanderkamp added documentation Improvements or additions to documentation tools Affects development tools labels Jun 19, 2023
@mvanderkamp mvanderkamp added this to the Conference milestone Jun 19, 2023
@mvanderkamp mvanderkamp self-assigned this Jun 19, 2023
@mvanderkamp mvanderkamp merged commit 817a994 into main Jun 19, 2023
2 checks passed
@mvanderkamp mvanderkamp deleted the deploy-docs branch June 19, 2023 04:15
@mvanderkamp mvanderkamp restored the deploy-docs branch June 19, 2023 04:15
@mvanderkamp mvanderkamp deleted the deploy-docs branch June 19, 2023 04:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation tools Affects development tools
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant