mirror of
https://gitea.com/actions/setup-python.git
synced 2024-11-26 20:19:35 +01:00
43 lines
647 B
JSON
43 lines
647 B
JSON
|
{
|
||
|
"$id": "timings.json#",
|
||
|
"$schema": "http://json-schema.org/draft-06/schema#",
|
||
|
"required": [
|
||
|
"send",
|
||
|
"wait",
|
||
|
"receive"
|
||
|
],
|
||
|
"properties": {
|
||
|
"dns": {
|
||
|
"type": "number",
|
||
|
"min": -1
|
||
|
},
|
||
|
"connect": {
|
||
|
"type": "number",
|
||
|
"min": -1
|
||
|
},
|
||
|
"blocked": {
|
||
|
"type": "number",
|
||
|
"min": -1
|
||
|
},
|
||
|
"send": {
|
||
|
"type": "number",
|
||
|
"min": -1
|
||
|
},
|
||
|
"wait": {
|
||
|
"type": "number",
|
||
|
"min": -1
|
||
|
},
|
||
|
"receive": {
|
||
|
"type": "number",
|
||
|
"min": -1
|
||
|
},
|
||
|
"ssl": {
|
||
|
"type": "number",
|
||
|
"min": -1
|
||
|
},
|
||
|
"comment": {
|
||
|
"type": "string"
|
||
|
}
|
||
|
}
|
||
|
}
|