Skip to content

Fix #883: close builder terminal tabs on cleanup by diffing overview, not state#892

Merged
amrmelsayed merged 16 commits into
mainfrom
builder/pir-883
May 27, 2026
Merged

Fix #883: close builder terminal tabs on cleanup by diffing overview, not state#892
amrmelsayed merged 16 commits into
mainfrom
builder/pir-883

Commits

Commits on May 27, 2026