Skip to content

🤖 feat: create CoderWorkspacePool members on demand for waiting claims, keep claims of a missing pool, and mark a claim Lost when its workspace is deleted - #388

Merged
ThomasK33 merged 8 commits into
mainfrom
feat/workspace-pool-claim-lifecycle
Oct 15, 2026
Merged

🤖 feat: create CoderWorkspacePool members on demand for waiting claims, keep claims of a missing pool, and mark a claim Lost when its workspace is deleted#388
ThomasK33 merged 8 commits into
mainfrom
feat/workspace-pool-claim-lifecycle

Merge remote-tracking branch 'origin/main' into feat/workspace-pool-c…

1118dc0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar