Skip to content

Conversation

bdice
Copy link
Contributor

@bdice bdice commented Sep 22, 2025

This PR adds a "merge lists" feature to the replay benchmark.

This is meant to help with some temporary testing work for #2039. It is just for testing and is not intended to merge.

Copy link

copy-pr-bot bot commented Sep 22, 2025

Auto-sync is disabled for draft pull requests in this repository. Workflows must be run manually.

Contributors can view more details about this message here.

@bdice bdice added the DO NOT MERGE Hold off on merging; see PR for details label Sep 22, 2025
@bdice
Copy link
Contributor Author

bdice commented Sep 30, 2025

Closing. This investigation is complete.

@bdice bdice closed this Sep 30, 2025
@bdice bdice changed the title Add feature for manually merging pool free lists in replay benchmark Test manually merging pool free lists in replay benchmark Sep 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
DO NOT MERGE Hold off on merging; see PR for details
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

1 participant