checkpoint.json 182 Bytes edit raw blame history 1 2 3 4 5 6 7 8 9 10 11 12 13 14 { "name": "Checkpoint", "properties": { "seq": { "type": "number" }, "time": { "type": "date" }, "sourceId": { "type": "string" } } }