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

Micro-optimise `check_missing_space_after_role()` #80

Merged

hugovk merged 1 commit into sphinx-contrib:main from AlexWaygood:more-regexes

Oct 11, 2023

Collaborator

AlexWaygood commented Oct 11, 2023 •

edited

Loading

This gives me about a 3% speedup on my machine (using the benchmark I posted in #79 (comment))

Part of #76


          Micro-optimise check_missing_space_after_role()

0ba5b88

hugovk approved these changes

View reviewed changes

hugovk merged commit a05d20b into sphinx-contrib:main

AlexWaygood deleted the more-regexes branch

October 11, 2023 15:12

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

Labels

None yet