From fd133990352fb0600bd527988fae830a7bb46df1 Mon Sep 17 00:00:00 2001 From: Juan Puerto <=> Date: Thu, 15 Feb 2024 09:37:54 -0500 Subject: [PATCH] General: Update API docs. --- user-workspaces-spec.yaml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/user-workspaces-spec.yaml b/user-workspaces-spec.yaml index 58dd5a0..c00f677 100644 --- a/user-workspaces-spec.yaml +++ b/user-workspaces-spec.yaml @@ -1,7 +1,7 @@ openapi: 3.0.0 info: description: The User Workspaces Server is an HTTP/Websocket server which allows developers to create workspaces and launch interactive sessions on a variety of resources. - version: 1.0.4 + version: 1.0.5 title: HuBMAP User Workspaces Server termsOfService: 'https://hubmapconsortium.org' contact: @@ -21,6 +21,9 @@ components: type: string description: type: string + default_job_type: + type: string + example: jupyter_lab workspace_details: type: object properties: @@ -74,6 +77,8 @@ components: - active - deleting - error + default_job_type: + type: string workspace_details: type: object properties: