blob: 18726dff2bb0ba41a36ee7420d1762151e125feb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{
"description": "Build trace line",
"type": "object",
"required": [
"offset",
"content"
],
"properties": {
"offset": { "type": "integer" },
"content": {
"type": "array",
"items": { "$ref": "./build_trace_line_content.json" }
},
"section": "string",
"section_header": "boolean",
"section_duration": "string"
}
}
|