Method deleteWorkspace

src/node/runtime/CoderSSHRuntime.ts:579–739

* Delete workspace: removes SSH files AND deletes Coder workspace (if Mux-managed). * * IMPORTANT: Only delete the Coder workspace once we're confident mux will commit * the deletion. In the non-force path, WorkspaceService.remove() aborts and keeps * workspace metadata when runtime.dele

(
    projectPath: string,
    workspaceName: string,
    force: boolean,
    abortSignal?: AbortSignal,
    trusted?: boolean
  )

   * workspace metadata when runtime.deleteWorkspace() fails.
   */
  override async deleteWorkspace(
    projectPath: string,
    workspaceName: string,
    force: boolean,
    abortSignal?: AbortSignal,
    trusted?: boolean
  ): Promise<{ success: true; deletedPath: string } | { success: false; error: string }> {
    // Deleting a Coder workspace is dangerous; CoderService refuses to delete workspaces
    // without the mux- prefix to avoid accidentally deleting user-owned Coder workspaces.

    // If this workspace is an existing Coder workspace that mux didn't create, just do SSH cleanup.
    if (this.coderConfig.existingWorkspace) {
      return super.deleteWorkspace(projectPath, workspaceName, force, abortSignal, trusted);
    }

    const coderWorkspaceName = this.coderConfig.workspaceName;

    if (!coderWorkspaceName) {
      log.warn("Coder workspace name not set, falling back to SSH-only deletion");
      return super.deleteWorkspace(projectPath, workspaceName, force, abortSignal, trusted);
    }

    // For force deletes ("cancel creation"), skip SSH cleanup and focus on deleting the
    // underlying Coder workspace. During provisioning, the SSH host may not be reachable yet.
    if (force) {
      const deleteResult = await this.coderService.deleteWorkspaceEventually(coderWorkspaceName, {
        timeoutMs: 60_000,
        signal: abortSignal,
        // Avoid races where coder create finishes server-side after we abort the local CLI.
        waitForExistence: true,
        // If the workspace never appears on the server within 10s, assume it was never created
        // and return early instead of waiting the full 60s timeout.
        waitForExistenceTimeoutMs: 10_000,
      });

      if (!deleteResult.success) {
        return { success: false, error: `Failed to delete Coder workspace: ${deleteResult.error}` };
      }

      return { success: true, deletedPath: this.getWorkspacePath(projectPath, workspaceName) };
    }

    // Check if Coder workspace still exists before attempting SSH operations.
    // If it's already gone, skip SSH cleanup (would hang trying to connect to non-existent host).
    const statusResult = await this.coderService.getWorkspaceStatus(coderWorkspaceName, {
      signal: abortSignal,
    });
    if (statusResult.kind === "not_found") {
      log.debug("Coder workspace already deleted, skipping SSH cleanup", { coderWorkspaceName });
      return { success: true, deletedPath: this.getWorkspacePath(projectPath, workspaceName) };
    }
    if (statusResult.kind === "error") {
      // API errors (auth, network): fall through to SSH cleanup, let it fail naturally
      log.warn("Could not check Coder workspace status, proceeding with SSH cleanup", {
        coderWorkspaceName,
        error: statusResult.error,
      });
    }