delete_sql_pool
Delete an SQL pool from a specified workspace to free up resources. Requires workspace admin role.
Instructions
Delete an SQL pool from a workspace.
Args: workspace: Workspace name or GUID. pool_name: Name of the pool to delete.
Requires workspace admin role. This tool targets a beta / preview API.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pool_name | Yes | ||
| workspace | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||