Skip to content

Have RUST_LOG be case-insensitive #184

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
May 1, 2025
Merged

Have RUST_LOG be case-insensitive #184

merged 1 commit into from
May 1, 2025

Conversation

H-Huang
Copy link
Member

@H-Huang H-Huang commented May 1, 2025 •
edited
Loading

small change so something like RUST_LOG=WARN also works as opposed to only RUST_LOG=warn working

@H-Huang H-Huang requested a review from d4l3k May 1, 2025 19:35
@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Meta Open Source bot. label May 1, 2025
d4l3k
d4l3k approved these changes May 1, 2025
View reviewed changes
Copy link
Member

@d4l3k d4l3k left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

@d4l3k d4l3k merged commit 3bd67a8 into pytorch:main May 1, 2025
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@d4l3k d4l3k d4l3k approved these changes

Assignees
No one assigned
Labels
CLA Signed This label is managed by the Meta Open Source bot.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@H-Huang @d4l3k @facebook-github-bot