Skip to content

Check custom board options for required properties #152

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

Merged
merged 1 commit into from
Jan 12, 2021

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Jan 11, 2021

boards.txt properties may be defined either directly under the board ID, or in the custom board options. So the schema and rule functions must be made to check both places.

Unfortunately, JSON schema doesn't have the capability to define required properties that can be defined at either path, so those rules are now handled in pure Go code.

@per1234 per1234 requested review from rsora and silvanocerza January 11, 2021 17:46
@per1234 per1234 force-pushed the per1234/board-options branch from 383677d to 259efba Compare January 12, 2021 00:51
boards.txt properties may be defined either directly under the board ID, or in the custom board options. So the schema
and rule functions must be made to check both places.

Unfortunately, JSON schema doesn't have the capability to define required properties that can be defined at either path,
so those rules are now handled in pure Go code.
@per1234 per1234 force-pushed the per1234/board-options branch from 259efba to 014bb0a Compare January 12, 2021 01:45
Copy link
Contributor

@rsora rsora left a comment

Choose a reason for hiding this comment

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

LGTM!

@per1234 per1234 merged commit 7d2616f into main Jan 12, 2021
@per1234 per1234 deleted the per1234/board-options branch January 12, 2021 10:32
@per1234 per1234 added topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project labels Sep 29, 2021
@per1234 per1234 self-assigned this Nov 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants