Skip to content

Feature/0.10.0/json schema identifier#160

Merged
aschaeffer merged 4 commits intomainfrom
feature/0.10.0/json-schema-identifier
Jun 4, 2025
Merged

Feature/0.10.0/json schema identifier#160
aschaeffer merged 4 commits intomainfrom
feature/0.10.0/json-schema-identifier

Conversation

@aschaeffer
Copy link
Contributor

No description provided.

@aschaeffer aschaeffer added this to the 0.10.0 milestone Jun 4, 2025
@aschaeffer aschaeffer self-assigned this Jun 4, 2025
@github-actions github-actions bot added p:dependencies Project Change: Pull requests that update a dependency file p:continuous-integration Project Change: Continuous Integration p:documentation Project Change: Improvements or additions to documentation labels Jun 4, 2025
@aschaeffer aschaeffer enabled auto-merge (rebase) June 4, 2025 11:00
@aschaeffer aschaeffer linked an issue Jun 4, 2025 that may be closed by this pull request
7 tasks
@aschaeffer aschaeffer merged commit 61d917d into main Jun 4, 2025
20 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

p:continuous-integration Project Change: Continuous Integration p:dependencies Project Change: Pull requests that update a dependency file p:documentation Project Change: Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add schema identifiers ($id) to all defined types in the net repository

1 participant