Code

Merge main to release/dev17.13#18154

Code

Open

dotnet-bot wants to merge 3 commits intorelease/dev17.13dotnet/fsharp:release/dev17.13from merges/main-to-release/dev17.13dotnet/fsharp:merges/main-to-release/dev17.13Copy head branch name to clipboard

+1,118-867

Commits

Commits on Dec 16, 2024

• Show default value of compiler options (#18054)

  Show description for 143e375
  

  nih0n

  and

  nih0n

  authored
  143e375

• Parallelize tests (#17872)

  Show description for 65a9f1e
  

  4 peopleauthored
  65a9f1e

Commits on Dec 18, 2024

• Merge branch 'release/dev17.13' into merges/main-to-release/dev17.13

  T-Gro

  authored
  9f196d6