From 162952e62012a667172bcf9ec222712041f6a828 Mon Sep 17 00:00:00 2001 From: Matthias Mohr Date: Mon, 21 Oct 2024 15:06:28 +0200 Subject: [PATCH] Fix field name in OpenAPI document for Workspace extension --- extensions/workspaces/openapi.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/workspaces/openapi.yaml b/extensions/workspaces/openapi.yaml index f7eb7bc2..a8e64da3 100644 --- a/extensions/workspaces/openapi.yaml +++ b/extensions/workspaces/openapi.yaml @@ -411,7 +411,7 @@ components: required: - type - url - - credentials + - parameters properties: intent: enum: