Method deleteWorkspace

src/node/services/coderService.ts:1519–1528

* Delete a Coder workspace. * * Safety: Only deletes workspaces with "mux-" prefix to prevent accidentally * deleting user workspaces that weren't created by mux.

(name: string)

   * deleting user workspaces that weren't created by mux.
   */
  async deleteWorkspace(name: string): Promise<void> {
    const result = await this.deleteWorkspaceEventually(name, {
      timeoutMs: 30_000,
      waitForExistence: false,
    });

    if (!result.success) {
      throw new Error(result.error);
    }
  }

  /**
   * Ensure mux-owned SSH config is set up for Coder workspaces.