Skip to content

Update JSON schema for dora-core - #3123

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
auto/schema-update
Open

Update JSON schema for dora-core#3123
github-actions[bot] wants to merge 1 commit into
mainfrom
auto/schema-update

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

The committed JSON schema drifted from cargo run -p dora-core --bin generate_schema. Merge to resync. This PR is force-updated in place on every push to main, so there is only ever one open.

@trunk-io

trunk-io Bot commented Aug 11, 2026

Copy link
Copy Markdown
Contributor

❌ This pull request was removed from the merge queue because it failed tests. This SHA was used for testing. See more details here.

Failed Required Status Conclusion
pip-release all green Failure
  • To merge this pull request, check the box to the left or comment /trunk merge below.

After your PR is submitted to the merge queue, this comment will be automatically updated with its status. If the PR fails, failure details will also be posted here

@github-actions
github-actions Bot force-pushed the auto/schema-update branch 8 times, most recently from f54a7db to dc5aab9 Compare August 11, 2026 13:19
@github-actions
github-actions Bot force-pushed the auto/schema-update branch from dc5aab9 to 2f2d92c Compare August 11, 2026 13:44
@github-actions
github-actions Bot force-pushed the auto/schema-update branch 15 times, most recently from b5e29aa to 90f47ba Compare August 11, 2026 15:30

Copy link
Copy Markdown
Collaborator

⚠️ Automated review by Claude Code. This is a fully automated review with no human vetting.

No issues found.

This is an auto-generated schema regeneration: it only adds description strings for DataId and NodeId to both copies of dora-schema.json, mirroring the corresponding Rust doc comments. The two files are updated identically and there are no code or behavioral changes.


Generated by Claude Code

@github-actions

Copy link
Copy Markdown
Contributor Author

@github-actions[bot] the Trunk merge queue failed for this PR.

See the Trunk merge-status comment for details.

Posted as a new comment so GitHub sends an email — Trunk's sticky comment is edited in place and won't trigger a notification.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant