Open
Description
openedon Jul 31, 2024
Minor: More as a naming comment, it's weird to me that profiling stuff is prefixed ("begin_profiling_op") but tracing stuff isn't ("insert_trace_id")?
(Perhaps begin_op would be the way to go?)
Originally posted by @ivoanjo in #551 (comment)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Metadata
Assignees
Labels
No labels