Skip to content

Docs: add missing tools to Tools/README#139150

Merged
sobolevn merged 2 commits intopython:mainfrom
sobolevn:add-missing-tools-to-readme
Sep 21, 2025
Merged

Docs: add missing tools to Tools/README#139150
sobolevn merged 2 commits intopython:mainfrom
sobolevn:add-missing-tools-to-readme

Conversation

@sobolevn
Copy link
Copy Markdown
Member

No description provided.

Comment thread Tools/README Outdated
Comment thread Tools/README

jit Tooling for building the JIT.

lockbench Benchmarks for PyMutex and critical sections.
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Likewise?

Copy link
Copy Markdown
Member Author

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.

Comment thread Tools/README Outdated
Comment thread Tools/README
Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Copy link
Copy Markdown
Member

@StanFromIreland StanFromIreland left a 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.

Comment thread Tools/README
@sobolevn sobolevn merged commit 080faf2 into python:main Sep 21, 2025
43 checks passed
@sobolevn
Copy link
Copy Markdown
Member Author

@StanFromIreland I merged this one, so you can rebase your work :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants