You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Suggestion : we should move the trace parsing code from the runtime to a new little executable that parses the trace from a JSON format output by #754 and produces a new JSON that is the parsed trace. Parsing of the trace for big examples should be under CI as it breaks often.
The text was updated successfully, but these errors were encountered:
Suggestion : we should move the trace parsing code from the runtime to a new little executable that parses the trace from a JSON format output by #754 and produces a new JSON that is the parsed trace. Parsing of the trace for big examples should be under CI as it breaks often.
The text was updated successfully, but these errors were encountered: