Skip to content

More grep prompt tweaks#18846

Merged
gundermanc merged 4 commits intomainfrom
gundermanc/more-evals
Feb 11, 2026
Merged

More grep prompt tweaks#18846
gundermanc merged 4 commits intomainfrom
gundermanc/more-evals

Commits

Commits on Feb 11, 2026