Skip to content

Comments

Add minimize API#1038

Merged
oetr merged 2 commits intomainfrom
minimize_api
Feb 23, 2026
Merged

Add minimize API#1038
oetr merged 2 commits intomainfrom
minimize_api

Conversation

@kyakdan
Copy link
Member

@kyakdan kyakdan commented Feb 9, 2026

This PR is based on #1036. Thus, it should be reviewed after merging that PR and rebasing on main

@kyakdan kyakdan force-pushed the minimize_api branch 2 times, most recently from def6bba to 028e1e2 Compare February 12, 2026 14:07
Copy link
Contributor

@oetr oetr left a comment

Choose a reason for hiding this comment

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

LGTM!

@oetr oetr merged commit 2421680 into main Feb 23, 2026
9 checks passed
@oetr oetr deleted the minimize_api branch February 23, 2026 09:22
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