mirror of
https://github.com/actions/setup-python.git
synced 2024-11-27 03:15:23 +01:00
33 lines
661 B
JSON
33 lines
661 B
JSON
|
{
|
||
|
|
"$id": "page.json#",
|
||
|
|
"$schema": "http://json-schema.org/draft-06/schema#",
|
||
|
|
"type": "object",
|
||
|
|
"optional": true,
|
||
|
|
"required": [
|
||
|
|
"startedDateTime",
|
||
|
|
"id",
|
||
|
|
"title",
|
||
|
|
"pageTimings"
|
||
|
|
],
|
||
|
|
"properties": {
|
||
|
|
"startedDateTime": {
|
||
|
|
"type": "string",
|
||
|
|
"format": "date-time",
|
||
|
|
"pattern": "^(\\d{4})(-)?(\\d\\d)(-)?(\\d\\d)(T)?(\\d\\d)(:)?(\\d\\d)(:)?(\\d\\d)(\\.\\d+)?(Z|([+-])(\\d\\d)(:)?(\\d\\d))"
|
||
|
|
},
|
||
|
|
"id": {
|
||
|
|
"type": "string",
|
||
|
|
"unique": true
|
||
|
|
},
|
||
|
|
"title": {
|
||
|
|
"type": "string"
|
||
|
|
},
|
||
|
|
"pageTimings": {
|
||
|
|
"$ref": "pageTimings.json#"
|
||
|
|
},
|
||
|
|
"comment": {
|
||
|
|
"type": "string"
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|