Code

Merge release/dev17.11 to main#17587

Code

Merged

vzarytovskii merged 3 commits intomaindotnet/fsharp:mainfrom merges/release/dev17.11-to-maindotnet/fsharp:merges/release/dev17.11-to-mainCopy head branch name to clipboardAug 22, 2024

Commits

Commits on Aug 22, 2024

• Fix insertion branch for 17.11 to rel/d17.11

  vzarytovskii

  authored
  af2f522

  Copy full SHA for af2f522

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

  vzarytovskii

  authored
  8980eb2

  Copy full SHA for 8980eb2

• Update azure-pipelines.yml

  vzarytovskii

  authored
  74ea204

  Copy full SHA for 74ea204