fix(goal): Prevent duplication in idempotent tactics #193

Open

aniva wants to merge 1 commits from bug/resume-goal-duplication into dev

pull from: bug/resume-goal-duplication

merge into: aniva:dev

aniva:dev

aniva:repl/elab-option

aniva:main

Conversation 0 Commits 1 Files Changed 2 +20 -19

1 Commits

Author	SHA1	Message	Date
Leni Aniva	c68fed6657	fix(goal): Use `immediateResume` to handle goal	2025-04-18 00:38:54 -07:00