-
-
Notifications
You must be signed in to change notification settings - Fork 33k
Docs: add missing tools to Tools/README
#139150
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
Conversation
|
||
jit Tooling for building the JIT. | ||
|
||
lockbench Benchmarks for PyMutex and critical sections. |
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.
Likewise?
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.
Nope, because these are micro-benchmarks for very specific use-cases, basically not user-facing ones, but ones used for development.
We have many existing ones already. From time to time they are getting removed.
But, anyway I am just describing what exists right now, we can start a new discussion about removing some things from there.
Co-authored-by: Hugo van Kemenade <[email protected]>
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.
I didn't realise a pr already existed (I had only checked issues, apologies) when I opened #139197. I will drop the changes to Tools/README in it.
However one little change that is missing in this PR is the removal of the mention of run_tests.py
under scripts, as the script has since been removed.
@StanFromIreland I merged this one, so you can rebase your work :) |
No description provided.