Code

Merge main to release/dev17.12#17437

Code

Merged

psfinaki merged 3 commits intorelease/dev17.12dotnet/fsharp:release/dev17.12from

merges/main-to-release/dev17.12dotnet/fsharp:merges/main-to-release/dev17.12Copy head branch name to clipboard

Jul 24, 2024

Commits

Commits on Jul 23, 2024

• Minor feature cleanup (#17421)

  Show description for f8a5243
  

  3 peopleauthored
  f8a5243

  Copy full SHA for f8a5243

• Skip a flaky test (#17431)

  psfinaki

  authored
  2eab49c

  Copy full SHA for 2eab49c

Commits on Jul 24, 2024

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

  psfinaki

  authored
  1c07568

  Copy full SHA for 1c07568