Skip to content

Fix additionalProperties handling#7

Merged
jviotti merged 1 commit intomainfrom
fix-additionalproperties
Jan 12, 2026
Merged

Fix additionalProperties handling#7
jviotti merged 1 commit intomainfrom
fix-additionalproperties

Conversation

@jviotti
Copy link
Copy Markdown
Member

@jviotti jviotti commented Jan 12, 2026

Signed-off-by: Juan Cruz Viotti jv@jviotti.com

Signed-off-by: Juan Cruz Viotti <jv@jviotti.com>
@jviotti jviotti force-pushed the fix-additionalproperties branch from bd88a93 to 8646f5e Compare January 12, 2026 19:55
@jviotti jviotti marked this pull request as ready for review January 12, 2026 20:05
@jviotti jviotti merged commit 0fc9218 into main Jan 12, 2026
11 checks passed
@jviotti jviotti deleted the fix-additionalproperties branch January 12, 2026 20:05
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.

1 participant