feat: finish? produces partial tactic scripts with sorry
#14294
Triggered via pull request
October 25, 2025 00:07
leodemoura
leodemoura
closed
#10948
Status
Success
Total duration
16s
Artifacts
–