Skip to content

Make fsharp-diagnostics skill a directive, not a suggestion#19520

Merged
T-Gro merged 1 commit into
mainfrom
agentics/fsharp-diagnostics
Apr 1, 2026
Merged

Make fsharp-diagnostics skill a directive, not a suggestion#19520
T-Gro merged 1 commit into
mainfrom
agentics/fsharp-diagnostics

Commits

Commits on Mar 30, 2026