-
Notifications
You must be signed in to change notification settings - Fork 13.2k
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
Add new tool for dumping feature status based on tidy #135662
Conversation
These commits modify the If this was unintentional then you should revert the changes before this PR is merged. |
@@ -12,6 +12,7 @@ miropt-test-tools = { path = "../miropt-test-tools" } | |||
walkdir = "2" | |||
ignore = "0.4.18" | |||
semver = "1.0" | |||
serde = { version = "1.0.125", features = [ "derive" ] } |
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.
Question: should this be gated behind like a build-metrics
cargo feature? I ask because tidy
is built very often (many people have pre-push hooks that will run tidy) so build time is important.
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.
ye I can totally do that, that sounds like a good idea to me.
(The lockfile might need bumping) |
dangit because I opened the PR directly from your branch rather than pulling to my fork and creating a branch based off of it I don't have permissions to edit it anymore x_X. I'm gonna take a break here and probably reopen this PR again on monday, I'll handle the check / lockfile / build time issues then. |
No rush! |
reopened as #135844 |
sequel to #133514
meaning ...
supercedes #133351
part of #129485
r? @jieyouxu
cc @estebank