Skip to content
New issue

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

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

Already on GitHub? # 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
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

No branches or pull requests

1 participant