chore: Convert problem.yaml to new schema#172
Open
olafmersmann wants to merge 1 commit intopush-zmvqzzrwnlupfrom
Open
chore: Convert problem.yaml to new schema#172olafmersmann wants to merge 1 commit intopush-zmvqzzrwnlupfrom
olafmersmann wants to merge 1 commit intopush-zmvqzzrwnlupfrom
Conversation
Collaborator
Author
|
This is not ready for merging. It is an LLM generated work in progress. Note all the |
ffdc3f6 to
41f91ba
Compare
159ba06 to
16dc860
Compare
41f91ba to
5cc8891
Compare
16dc860 to
1d059cd
Compare
0a931a4 to
fff80f0
Compare
1d059cd to
240bfa7
Compare
Adds an LLM generated generator for the problems defined in the old problem.yaml to generate a new style problem.yaml. For future fixes, it is probably best to update examples/problem.py, regenerate the yaml and then merge it with the old yaml by replacing entries based on id. That way additional entries added later are not clobbbered.
240bfa7 to
3343cd8
Compare
fff80f0 to
a3059ed
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Adds an LLM generated generator for the problems defined in the old
problem.yaml to generate a new style problem.yaml. For future fixes, it is
probably best to update examples/problem.py, regenerate the yaml and then merge
it with the old yaml by replacing entries based on id. That way additional
entries added later are not clobbbered.