Merge pull request #56 from FloWi/credits-int64

fix: added format `int64` to `credits` field of Agent and leaderboards
This commit is contained in:
SpaceAdmiral 2023-06-04 14:21:46 -07:00 committed by GitHub
commit 8522786bb8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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": [
@ -3083,4 +3084,4 @@
} }
} }
} }
} }