driazati commented on a change in pull request #9752:
URL: https://github.com/apache/tvm/pull/9752#discussion_r777802471
##########
File path: tests/scripts/ci.py
##########
@@ -221,6 +317,10 @@ def main():
add_subparser(func, subparsers)
args = parser.parse_args()
+ if args.command is None:
Review comment:
I think the help message with that is worse than just printing out the
normal help:
```
usage: ci.py [-h] {docs,serve-docs,lint} ...
ci.py: error: the following arguments are required: command
```
vs
```
usage: ci.py [-h] {docs,serve-docs,lint} ...
Run CI scripts locally via Docker
positional arguments:
{docs,serve-docs,lint}
docs Build the documentation from gallery/ and docs/. By
default this builds only the Python docs. If you are
on a CPU machine, you can skip the tutorials and
build
the docs with the '--precheck --cpu' options.
serve-docs Serve the docs using Python's http server
lint Run CI's Sanity Check step
optional arguments:
-h, --help show this help message and exit
```
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
