Repository navigation
fix(criteria)!: command_executed with no tool_name searches only the command param - #242
Open
jimmy-holdout wants to merge 2 commits into
Open
jimmy-holdout wants to merge 2 commits into
jimmy-holdout wants to merge 2 commits into
Commits
Commits on Oct 27, 2026
Commits on Oct 28, 2026