fix: added format int64 to credits field of Agent and leaderboards

This commit is contained in:
Florian Witteler 2023-06-02 01:36:17 +02:00
parent 8f3e44882b
commit 7c00025e0c
No known key found for this signature in database
GPG Key ID: B608B828FFFD68BB
2 changed files with 5 additions and 3 deletions

View File

@ -17,6 +17,7 @@
}, },
"credits": { "credits": {
"type": "integer", "type": "integer",
"format": "int64",
"description": "The number of credits the agent has available. Credits can be negative if funds have been overdrawn." "description": "The number of credits the agent has available. Credits can be negative if funds have been overdrawn."
}, },
"startingFaction": { "startingFaction": {
@ -32,4 +33,4 @@
"credits", "credits",
"startingFaction" "startingFaction"
] ]
} }

View File

@ -119,7 +119,8 @@
"type": "string" "type": "string"
}, },
"credits": { "credits": {
"type": "integer" "type": "integer",
"format": "int64"
} }
}, },
"required": [ "required": [
@ -2816,4 +2817,4 @@
} }
} }
} }
} }