Code

Merge main to release/dev17.12#17434

Code

Merged

vzarytovskii merged 2 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 23, 2024

Commits

Commits on Jul 23, 2024

• Update azure-pipelines.yml

  vzarytovskii

  authored
  c094a8e

  Copy full SHA for c094a8e

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

  vzarytovskii

  authored
  3e5d33c

  Copy full SHA for 3e5d33c