Code

Merge main to release/dev17.12#17493

Code

Merged

psfinaki merged 1 commit intorelease/dev17.12dotnet/fsharp:release/dev17.12from merges/main-to-release/dev17.12dotnet/fsharp:merges/main-to-release/dev17.12Copy head branch name to clipboardAug 6, 2024

+2,604-2,316

Commits

Commits on Aug 6, 2024

• Refactor CE checking (#17464)

  Show description for 6f66b01
  

  vzarytovskii

  and

  github-actions[bot]

  authored
  6f66b01

  Copy full SHA for 6f66b01