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.

Sign up for GitHub

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

Jump to bottom

build docs in github ci #9

Closed

johannesjh opened this issue Oct 23, 2022 · 1 comment

Assignees

Labels

Owner

johannesjh commented Oct 23, 2022 •

edited

Loading

Build and publish docs in github CI.

This is a follow up ticket from #4 .

Tooling

docs for multiple versions, to be evaluated:

johannesjh added the enhancement label

johannesjh self-assigned this

johannesjh mentioned this issue

add github ci for building docs #10

Merged

Owner Author

johannesjh commented Oct 25, 2022

I used sphinx RTD theme with GitHub versions and set up github ci accordingly.

As a result, documentation is built when pushing commits.
The documentation is published using github pages.

johannesjh closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment