workspace_status
Check whether a project workspace is free, held, or expired. Verify a specific lease without exposing other holders, and use before acquire or after LEASE_BUSY.
Instructions
Report whether a project workspace is free, held, or expired. With lease_id, reports that lease. Does not reveal another holder's lease_id. Use after LEASE_BUSY or before acquire.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| project | No | ||
| lease_id | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||