Skip to content

Remove program synthesis code #475

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
eb8680 merged 3 commits into from
Dec 31, 2025
Merged

Remove program synthesis code #475

eb8680 merged 3 commits into from
Dec 31, 2025

Conversation

@jfeser
Copy link
Contributor

@jfeser jfeser commented Dec 29, 2025

Closes #470

To be restored once it's stabilized.

@jfeser jfeser linked an issue Dec 29, 2025 that may be closed by this pull request
handlers.llm.synthesis should be replaced with a stub in initial release #470
Closed
@jfeser jfeser requested a review from eb8680 December 29, 2025 19:20
eb8680
eb8680 approved these changes Dec 31, 2025
View reviewed changes
Copy link
Contributor

@eb8680 eb8680 left a comment •
edited
Loading

Choose a reason for hiding this comment

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

This seems fine but I don't think the test failure is random, can you take a look?

Edit: I was wrong, merging

@eb8680 eb8680 merged commit 2094f22 into staging-llm Dec 31, 2025
6 of 9 checks passed
@eb8680 eb8680 deleted the jf-remove-program-synthesis branch December 31, 2025 15:49
@eb8680 eb8680 mentioned this pull request Dec 31, 2025
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@eb8680 eb8680 eb8680 approved these changes

Assignees

No one assigned

Labels

module:llm

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

handlers.llm.synthesis should be replaced with a stub in initial release

3 participants

@jfeser @eb8680