Repository navigation

Move run logs out of the repository - #240

Merged

michaellchung merged 2 commits into

mainfrom

s23-move-run-logs

Oct 14, 2026

Merged

Move run logs out of the repository#240
michaellchung merged 2 commits into
mainfrom
s23-move-run-logs

Commits on Oct 13, 2026
- Move run logs out of the repository
  
  chowhsu
  and
  claude
  committed
  b9aee27
- Skip the committed-evidence equivalence check when its run logs are absent
  
  chowhsu
  and
  claude
  committed
  3700cfb