diff options
author | Nate Sesti <33237525+sestinj@users.noreply.github.com> | 2023-05-27 18:35:51 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-27 18:35:51 -0400 |
commit | 5ef9950b3bff328a76b41852b3ea9de5b7ff7c8d (patch) | |
tree | d8509839838394c5acaecaa0b023983da73601c3 /schema/json/HistoryNode.json | |
parent | 741f85b6b2b26e5e007ebf92b336a832af6af5d4 (diff) | |
parent | 36522ad6551bfcc51b1e923e7d50dfca1af1c697 (diff) | |
download | sncontinue-5ef9950b3bff328a76b41852b3ea9de5b7ff7c8d.tar.gz sncontinue-5ef9950b3bff328a76b41852b3ea9de5b7ff7c8d.tar.bz2 sncontinue-5ef9950b3bff328a76b41852b3ea9de5b7ff7c8d.zip |
Merge pull request #11 from continuedev/syntactic-sugar
Syntactic sugar
Diffstat (limited to 'schema/json/HistoryNode.json')
-rw-r--r-- | schema/json/HistoryNode.json | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/schema/json/HistoryNode.json b/schema/json/HistoryNode.json new file mode 100644 index 00000000..f58b8038 --- /dev/null +++ b/schema/json/HistoryNode.json @@ -0,0 +1,51 @@ +{ + "title": "HistoryNode", + "$ref": "#/definitions/continuedev__src__continuedev__core__main__HistoryNode", + "definitions": { + "Step": { + "title": "Step", + "type": "object", + "properties": { + "name": { + "title": "Name", + "type": "string" + }, + "hide": { + "title": "Hide", + "default": false, + "type": "boolean" + }, + "system_message": { + "title": "System Message", + "type": "string" + } + } + }, + "Observation": { + "title": "Observation", + "type": "object", + "properties": {} + }, + "continuedev__src__continuedev__core__main__HistoryNode": { + "title": "HistoryNode", + "description": "A point in history, a list of which make up History", + "type": "object", + "properties": { + "step": { + "$ref": "#/definitions/Step" + }, + "observation": { + "$ref": "#/definitions/Observation" + }, + "depth": { + "title": "Depth", + "type": "integer" + } + }, + "required": [ + "step", + "depth" + ] + } + } +}
\ No newline at end of file |