Skip to content
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.

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

bugfix:strategy type error #388

Closed
wants to merge 1 commit into from
Closed

Conversation

uliian
Copy link

@uliian uliian commented Jul 27, 2023

The type definition of the "strategy" field in the schema.json is incorrect. It should be defined as a string type, but it is currently defined as an integer.

localvar
localvar previously approved these changes Jul 27, 2023
@samanhappy
Copy link
Collaborator

Hi uliian,

Thanks for submitting this pull request. Just a heads up - the schema.json file is auto-generated by a GitHub action, so we don't modify it directly.

I went ahead and submitted PR #388 that updates the schemajson of the strategy field. Would you mind taking a look when you have a chance? Let me know if you have any other questions!

@localvar localvar self-requested a review July 31, 2023 07:29
@localvar localvar dismissed their stale review July 31, 2023 07:31

the file is auto generated, the approval may be wrong

@localvar
Copy link
Collaborator

this file is auto generated and should not be modified directly, the issue is fixed via #389 .

@localvar localvar closed this Jul 31, 2023
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.

3 participants