Uh oh!
There was an error while loading.Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork64
Add options to only show certain build times#307
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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.
Already on GitHub?Sign in to your account
Uh oh!
There was an error while loading.Please reload this page.
Conversation
| parser=argparse.ArgumentParser( | ||
| description=__doc__,formatter_class=argparse.RawDescriptionHelpFormatter | ||
| ) |
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.
We could mirror thebuild_docs.py args here?
parser.add_argument( "--select-output", choices=("no-html", "only-html", "only-html-en"), help="Choose what outputs to build.", )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.
Something like this?45f56e5
5453926 intopython:mainUh oh!
There was an error while loading.Please reload this page.
By default, this scripts outputs the build times for all three types of builds. This can be long, for example 1,582 lines.
Sometimes I only want to check one block, for example, non-HTML builds in#306.
This PR allows you to select which type of build. By default, it shows all three.