Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions .pi/orksorksorks/chore-run-gate-teardown/done.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# Done

Marshaled from https://github.com/alanvardy/SingleThread/pull/224
Branch: chore/run-gate-teardown
16 changes: 16 additions & 0 deletions .pi/skills/run-gate/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -119,6 +119,22 @@ You are running the full CI-identical gate for SingleThread in this worktree.
- A failure your diff didn't touch is likely pre-existing on `origin/main` —
verify with git blame / CI history before debugging.

## Teardown (required)

The gate is a read-only lane, so its worktree is disposable the moment the
verdict is recorded. Remove it — do not leave it behind (they accumulate to
tens of GB under `<repo-parent>/worktrees/`):

```fish
pi_worktree_clean --dry-run # review the candidates
pi_worktree_clean # remove clean, idle lanes
```

To remove only this run's lane: `worktree_remove <worktree-path>` (this also
deletes its `.simulator_id` simulator and closes its herdr workspace). The
`pi-worktree-cleanup` skill explains the guards — why only clean, idle,
non-cwd lanes are removed and why a branch with unique commits is kept.

## After two UI-stage contention failures

Stop re-running locally. CI is authoritative — push and let
Expand Down