Skip to content

Conversation

mdboom
Copy link
Contributor

@mdboom mdboom commented Nov 2, 2023

This is to get this bugfix, that pystats weren't collected during warmups, and therefore we were missing some stats about specializations and optimizations.

@corona10 corona10 merged commit f7f3650 into python:main Nov 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants