Skip to content

docs: record the merged performance work - #100

Merged
owenthcarey merged 1 commit into
mainfrom
docs/progress-merged
Oct 24, 2026
Merged

owenthcarey merged 1 commit into
mainfrom
docs/progress-merged

Conversation

@owenthcarey

Copy link
Copy Markdown
Contributor

Records the merged state of the performance work (#86 to #99) in docs/PERFORMANCE-PROGRESS.md: the PGO checkpoint against the October 20 baseline and CPython, what CI's bench gate caught before merging, and the remaining plan.

@owenthcarey
owenthcarey merged commit 5cfae8d into main Oct 24, 2026
28 checks passed
@owenthcarey
owenthcarey deleted the docs/progress-merged branch October 24, 2026 07:19
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.

1 participant