fix(shell): retain prefix during up-arrow history search - #3

Merged

lemtoc merged 3 commits into

mainfrom

Feb 25, 2026

Commits on Feb 25, 2026

fix(shell): retain prefix during up-arrow history search (#2)
lemtoc
committed
cc8e81c
feat(ci): add PR benchmark workflow with composite actions
lemtoc
committed
e443843
fix(ci): disable git commit signing in PR benchmark workflow
lemtoc
committed
336d950