driazati commented on code in PR #13058:
URL: https://github.com/apache/tvm/pull/13058#discussion_r997317358
##########
ci/scripts/git_skip_ci_globs.py:
##########
@@ -35,6 +35,8 @@
# microTVM
"apps/microtvm/poetry.lock",
"apps/microtvm/pyproject.toml",
+ "tests/lint/*",
+ "tests/scripts/task_lint.sh",
Review Comment:
These are used to determine in Jenkins whether to run the full suite of
tests or not, so if all the files in a PR match one of these globs then unit
tests won't be run (lint is always run though). These files only affect lint so
they don't need to run tests
--
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]
