Code

Merge main to release/dev17.10#16984

Code

Merged

vzarytovskii merged 2 commits intorelease/dev17.10dotnet/fsharp:release/dev17.10from merges/main-to-release/dev17.10dotnet/fsharp:merges/main-to-release/dev17.10Copy head branch name to clipboardApr 5, 2024

+2,205-2,320

Commits

Commits on Apr 4, 2024

• Computed collections: simple count check (#16947)

  Show description for 71442c8
  brianrourkeboll

  authored
  71442c8

  Copy full SHA for 71442c8

• Merge remote-tracking branch 'upstream/main' into merges/main-to-release/dev17.10

  KevinRansom

  committed
  0e6b7d4

  Copy full SHA for 0e6b7d4