Code

Merge main to release/dev17.8#15532

Code

Merged

vzarytovskii merged 2 commits intorelease/dev17.8dotnet/fsharp:release/dev17.8from merges/main-to-release/dev17.8dotnet/fsharp:merges/main-to-release/dev17.8Copy head branch name to clipboardJul 3, 2023

Commits

Commits on Jun 30, 2023

• Update dependencies from https://github.com/dotnet/source-build-reference-packages build 20230629.1 (#15529)

  Show description for 5ae4758
  dotnet-maestro[bot]

  authored
  5ae4758

  Copy full SHA for 5ae4758

Commits on Jul 3, 2023

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

  T-Gro

  authored
  108d50d

  Copy full SHA for 108d50d