Skip to content

Try reduction opt#2337

Open
wsmoses wants to merge 2 commits intomainfrom
redopt
Open

Try reduction opt#2337
wsmoses wants to merge 2 commits intomainfrom
redopt

Conversation

@wsmoses
Copy link
Copy Markdown
Member

@wsmoses wsmoses commented Mar 27, 2026

everything fits in the square hole?

@giordano
Copy link
Copy Markdown
Member

I hope this is only for tests and we don't keep 16 CI jobs? 😬

@wsmoses
Copy link
Copy Markdown
Member Author

wsmoses commented Mar 27, 2026

yeah not intending to merge, intending to find out what works well or not atm [and how to improve off]

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