Skip to content

Update JSON schema for dora-core#1086

Merged
phil-opp merged 1 commit intomainfrom
schema-update-for-852e3c6c85c67c43b16d4c51138283b0dcd7dd96
Jul 23, 2025
Merged

Update JSON schema for dora-core#1086
phil-opp merged 1 commit intomainfrom
schema-update-for-852e3c6c85c67c43b16d4c51138283b0dcd7dd96

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

No description provided.

@phil-opp phil-opp merged commit 457b2ff into main Jul 23, 2025
1 check passed
@phil-opp phil-opp deleted the schema-update-for-852e3c6c85c67c43b16d4c51138283b0dcd7dd96 branch July 23, 2025 14:37
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