-
Notifications
You must be signed in to change notification settings - Fork 211
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
Doc versioning #1124
Doc versioning #1124
Conversation
doc_version@7882 aka 20200430.50 vs master ewma over 50 builds from 7368 to 7860 |
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.
LGTM!
FYI, it seems that the GitHub Pages job now takes 7 minutes instead of 45 sec.
@jumaffre yeah it's building a lot more stuff, so we have to decide how many versions we want to cover I guess. Right now it's anything released, but we could change that to the last X for example. |
I've worked out what's wrong with the includes, this still needs a bit of cleanup but I'll pick it up later, I need a break! |
This looks super promising for many of our warnings: breathe-doc/breathe#512 |
This is unfortunately going to need to merge with a red Pages build, because there are literally no branches it can check out with the config in the right path... |
Amusingly, our tests do in fact depend on the documentation (schema_test)! |
Fix #770