Skip to content

fix: tactic completion in empty `by` blocks

cd1f79e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

fix: tactic completion in empty by blocks #13348

fix: tactic completion in empty `by` blocks
cd1f79e
Select commit
Loading
Failed to load commit list.
check-awaiting-manual
succeeded Apr 9, 2026 in 3s