Code

Merge main to release/dev17.12#17489

Code

Merged

psfinaki merged 8 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 clipboardAug 5, 2024

+2,126-146

Commits

Commits on Jul 31, 2024

• Add dumps collection to PR pipelines when failing.

  vzarytovskii

  authored
  fa3a96f

  Copy full SHA for fa3a96f

• Remove unused values from TcGlobals (#17422)

  Show description for 8a796ac
  

  KevinRansom

  and

  psfinaki

  authored
  8a796ac

  Copy full SHA for 8a796ac

Commits on Aug 1, 2024

• Sink: report function domain type (#17470)

  Show description for 0e5b954
  auduchinok

  authored
  0e5b954

  Copy full SHA for 0e5b954

• Update azure-pipelines-PR.yml

  vzarytovskii

  authored
  3e2db28

  Copy full SHA for 3e2db28

• Parser: recover on missing union case fields (#17452)

  Show description for d2d38e3
  auduchinok

  authored
  d2d38e3

  Copy full SHA for d2d38e3

Commits on Aug 2, 2024

• Parser: recover on missing union case field types (#17455)

  Show description for d8e2f21
  auduchinok

  authored
  d8e2f21

  Copy full SHA for d8e2f21

Commits on Aug 5, 2024

• Fix incorrect example result in list module documentation for 'fold2'. (#17475)

  Show description for 4a7a0f9
  

  hampussle

  and

  psfinaki

  authored
  4a7a0f9

  Copy full SHA for 4a7a0f9

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

  vzarytovskii

  authored
  c3101ab

  Copy full SHA for c3101ab