Skip to content

fix(bench): normalize terminal-bench run ids#493

Merged
drewstone merged 1 commit into
mainfrom
fix/tb-run-id-lowercase
Jul 8, 2026
Merged

fix(bench): normalize terminal-bench run ids#493
drewstone merged 1 commit into
mainfrom
fix/tb-run-id-lowercase

Conversation

@drewstone

Copy link
Copy Markdown
Contributor

Summary

  • normalize Terminal-Bench A/B run IDs to lowercase before passing them to tb run
  • avoids Docker Compose rejecting uppercase-derived project names during local A/B runs

Verification

  • git diff --check
  • bash -n bench/run-ab-arm.sh
  • shell normalization probe: Raw-Run-ABC-123 -> raw-run-abc-123
  • git merge-tree --write-tree origin/main HEAD

@tangletools tangletools left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ Auto-approved drewstone PR — 7d54e020

This PR was opened by the trusted drewstone account.
The full PR reviewer audit still runs separately and will publish findings if it detects issues.

tangletools · auto-approval · reason: drewstone_author · 2026-07-08T00:06:29Z

@drewstone drewstone merged commit 18ff22b into main Jul 8, 2026
1 check passed
@drewstone drewstone deleted the fix/tb-run-id-lowercase branch July 8, 2026 00:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants