-
Notifications
You must be signed in to change notification settings - Fork 197
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
CI: Remove specification of manual stage for check_style.sh script. #1283
CI: Remove specification of manual stage for check_style.sh script. #1283
Conversation
Do not explicitly specify to run the "manual" stage when running pre-commits as part of the ci/check_style.sh script.
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.
@csadorf, I've got no objections to this change, but can you elaborate on why it's being made?
It's a historical artifact. We were originally manually running all linters in CI. At some point, we discussed the possibility of centralizing around pre-commit usage to manage all style checks in CI. When I implemented that in rapidsai/cudf#9412, we were still using a special script to run local installations of @csadorf it's probably worth doing a quick check to verify that none of the repos where you've removed this have a |
/merge |
Great, thanks! |
Do not explicitly specify to run the "manual" stage when running pre-commits as part of the ci/check_style.sh script.