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

Action building the documentation with gh-pages #6

Open
jofas opened this issue Feb 12, 2023 · 0 comments
Open

Action building the documentation with gh-pages #6

jofas opened this issue Feb 12, 2023 · 0 comments
Labels
documentation Improvements or additions to documentation
Milestone

Comments

@jofas
Copy link
Owner

jofas commented Feb 12, 2023

Action for building the documentation, pushing the resulting static html on the gh-pages branch. Need to wait on #5.

@jofas jofas added this to the Documentation milestone Feb 12, 2023
@jofas jofas added the documentation Improvements or additions to documentation label Feb 12, 2023
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
Projects
None yet
Development

No branches or pull requests

1 participant