Skip to content

fix(cli): extract goal type from file for tactic-search --file#15

Merged
markm39 merged 1 commit into
masterfrom
fix/tactic-search-file-goal-extraction
Mar 30, 2026
Merged

fix(cli): extract goal type from file for tactic-search --file#15
markm39 merged 1 commit into
masterfrom
fix/tactic-search-file-goal-extraction

fix(cli): extract goal type from file content for tactic-search --file

272767a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar