-
Notifications
You must be signed in to change notification settings - Fork 94
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 initial docs build #1089
add initial docs build #1089
Conversation
Codecov ReportBase: 87.04% // Head: 87.89% // Increases project coverage by
Additional details and impacted files@@ Coverage Diff @@
## branch-23.02 #1089 +/- ##
================================================
+ Coverage 87.04% 87.89% +0.84%
================================================
Files 18 17 -1
Lines 2301 2296 -5
================================================
+ Hits 2003 2018 +15
+ Misses 298 278 -20
Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here. ☔ View full report at Codecov. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Sorry if I missed some previous conversation on this subject, but does this mean we won't use RTD anymore for documentation?
@pentschev, this PR adds documentation building to our GitHub Action workflows. Previously, the doc build jobs lived in Jenkins, but we need to get them migrated to GHAs since Jenkins is going away. The changes in this PR don't change any themes or frameworks used by |
Thanks for clarifying @ajschmidt8 . |
/merge |
The PR adds a docs_build process to the PR and Build workflows for this repository. The generated docs are synced to s3 for only the build workflows.
cc @ajschmidt8