Skip to content

Conversation

@zah
Copy link
Member

@zah zah commented May 17, 2025

Summary

  • document TypeKind and EventLogKind numeric values in the spec

Testing

  • cargo test --quiet (fails to download dependencies)

@zah zah merged commit da36aad into master May 17, 2025
2 checks passed
@Madman10K Madman10K deleted the codex/create-specification-for-codetracer-json-format branch May 18, 2025 12:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants