Repository navigation

WIP: Deduplicate FSharp.Core XML docs via <include> - #20231

Merged

T-Gro merged 5 commits into

mainfrom

t-gro-fsharpcore-xmldoc-include-dedup

Aug 20, 2026

Merged

WIP: Deduplicate FSharp.Core XML docs via <include>#20231
T-Gro merged 5 commits into
mainfrom
t-gro-fsharpcore-xmldoc-include-dedup

Commits on Aug 7, 2026
- Deduplicate FSharp.Core XML docs via <include>
  
  T-Gro
  and
  Copilot
  committed
  adff9a8
Commits on Aug 12, 2026
- Add test asserting no unexpanded <include> in generated FSharp.Core.xml
  
  T-Gro
  and
  Copilot
  committed
  16d621f
Commits on Aug 13, 2026
- Reference xmldoc/*.xml fragments in FSharp.Core.fsproj as compilation inputs
  
  Copilot
  and
  Copilot
  committed
  7629ca2
- Merge remote-tracking branch 'origin/main' into t-gro-fsharpcore-xmldoc-include-dedup
  Copilot
  committed
  d022058
Commits on Aug 20, 2026
- Merge main into t-gro-fsharpcore-xmldoc-include-dedup (refresh mergeability)
  Tomas Grosup
  committed
  a683b71