Skip to content

feat(core): support creating empty docker-git workspaces#80

Merged
skulidropek merged 2 commits into
ProverCoderAI:mainfrom
skulidropek:issue-26
Feb 20, 2026
Merged

feat(core): support creating empty docker-git workspaces#80
skulidropek merged 2 commits into
ProverCoderAI:mainfrom
skulidropek:issue-26

merge: resolve conflicts with upstream/main

2538867
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.