Code

Merge release/dev17.12 to main#17842

Code

Merged

vzarytovskii merged 109 commits intomaindotnet/fsharp:mainfrom

merges/release/dev17.12-to-maindotnet/fsharp:merges/release/dev17.12-to-mainCopy head branch name to clipboard

Oct 7, 2024

Commits

Commits on Jul 23, 2024

• Update azure-pipelines.yml

  vzarytovskii

  authored
  c14b2b7

  Copy full SHA for c14b2b7

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

  vzarytovskii

  authored
  3e5d33c

  Copy full SHA for 3e5d33c

• Merge pull request #17434 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  172ffdd

  Copy full SHA for 172ffdd

Commits on Jul 24, 2024

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

  psfinaki

  authored
  1c07568

  Copy full SHA for 1c07568

• Merge pull request #17437 from dotnet/merges/main-to-release/dev17.12

  Show description for 588f8d6
  psfinaki

  authored
  588f8d6

  Copy full SHA for 588f8d6

Commits on Jul 25, 2024

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

  vzarytovskii

  authored
  351e4d1

  Copy full SHA for 351e4d1

• Merge pull request #17443 from dotnet/merges/main-to-release/dev17.12

  Show description for 1981d46
  psfinaki

  authored
  1981d46

  Copy full SHA for 1981d46

Commits on Jul 26, 2024

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

  T-Gro

  authored
  0ed1722

  Copy full SHA for 0ed1722

Commits on Jul 29, 2024

• Merge main to release/dev17.12 (#17450)

  vzarytovskii

  authored
  d0b2a41

  Copy full SHA for d0b2a41

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

  vzarytovskii

  authored
  3c95685

  Copy full SHA for 3c95685

• Merge pull request #17458 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  0684fca

  Copy full SHA for 0684fca

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

  vzarytovskii

  authored
  dd0d5e3

  Copy full SHA for dd0d5e3

Commits on Jul 30, 2024

• Merge pull request #17461 from dotnet/merges/main-to-release/dev17.12

  Show description for f5111c6
  KevinRansom

  authored
  f5111c6

  Copy full SHA for f5111c6

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

  vzarytovskii

  authored
  a7af225

  Copy full SHA for a7af225

• Merge pull request #17463 from dotnet/merges/main-to-release/dev17.12

  Show description for 1b491f6
  psfinaki

  authored
  1b491f6

  Copy full SHA for 1b491f6

Commits on Jul 31, 2024

• Merge pull request #17466 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  db079bb

  Copy full SHA for db079bb

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

  vzarytovskii

  authored
  0b17830

  Copy full SHA for 0b17830

Commits on Aug 5, 2024

• Merge pull request #17469 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  09b5991

  Copy full SHA for 09b5991

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

  vzarytovskii

  authored
  c3101ab

  Copy full SHA for c3101ab

• Merge pull request #17489 from dotnet/merges/main-to-release/dev17.12

  Show description for 2f69126
  psfinaki

  authored
  2f69126

  Copy full SHA for 2f69126

Commits on Aug 6, 2024

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

  vzarytovskii

  authored
  9ee9282

  Copy full SHA for 9ee9282

• Merge pull request #17491 from dotnet/merges/main-to-release/dev17.12

  Show description for 24116f0
  psfinaki

  authored
  24116f0

  Copy full SHA for 24116f0

• Refactor CE checking (#17464) (#17493)

  Show description for 6b4c4d5
  

  3 peopleauthored
  6b4c4d5

  Copy full SHA for 6b4c4d5

Commits on Aug 7, 2024

• Merge pull request #17498 from dotnet/merges/main-to-release/dev17.12

  Show description for 6de4f3f
  psfinaki

  authored
  6de4f3f

  Copy full SHA for 6de4f3f

Commits on Aug 8, 2024

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

  psfinaki

  authored
  56e79eb

  Copy full SHA for 56e79eb

• Merge pull request #17506 from dotnet/merges/main-to-release/dev17.12

  Show description for e5a83e5
  vzarytovskii

  authored
  e5a83e5

  Copy full SHA for e5a83e5

Commits on Aug 11, 2024

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

  vzarytovskii

  authored
  25e4ee4

  Copy full SHA for 25e4ee4

Commits on Aug 12, 2024

• Merge pull request #17520 from dotnet/merges/main-to-release/dev17.12

  Show description for 7f3176d
  vzarytovskii

  authored
  7f3176d

  Copy full SHA for 7f3176d

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

  vzarytovskii

  authored
  4807859

  Copy full SHA for 4807859

Commits on Aug 13, 2024

• Merge pull request #17523 from dotnet/merges/main-to-release/dev17.12

  Show description for 0c76473
  psfinaki

  authored
  0c76473

  Copy full SHA for 0c76473

• Merge pull request #17525 from dotnet/merges/main-to-release/dev17.12

  Show description for 5bdf8bb
  psfinaki

  authored
  5bdf8bb

  Copy full SHA for 5bdf8bb

Commits on Aug 14, 2024

• Merge pull request #17533 from dotnet/merges/main-to-release/dev17.12

  Show description for aa9f19d
  psfinaki

  authored
  aa9f19d

  Copy full SHA for aa9f19d

Commits on Aug 16, 2024

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

  vzarytovskii

  authored
  5e26c2c

  Copy full SHA for 5e26c2c

Commits on Aug 17, 2024

• Merge pull request #17550 from dotnet/merges/main-to-release/dev17.12

  Show description for 54464f5
  vzarytovskii

  authored
  54464f5

  Copy full SHA for 54464f5

Commits on Aug 19, 2024

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

  vzarytovskii

  authored
  ba775a1

  Copy full SHA for ba775a1

• Merge pull request #17560 from dotnet/merges/main-to-release/dev17.12

  Show description for 0a9a7e8
  vzarytovskii

  authored
  0a9a7e8

  Copy full SHA for 0a9a7e8

Commits on Aug 20, 2024

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

  vzarytovskii

  authored
  d9c34c8

  Copy full SHA for d9c34c8

• Merge pull request #17568 from dotnet/merges/main-to-release/dev17.12

  Show description for f585a3c
  KevinRansom

  authored
  f585a3c

  Copy full SHA for f585a3c

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

  KevinRansom

  authored
  c8a5c3c

  Copy full SHA for c8a5c3c

• Merge pull request #17566 from dotnet/merges/release/dev17.11-to-release/dev17.12

  Show description for 1ead6f4
  KevinRansom

  authored
  1ead6f4

  Copy full SHA for 1ead6f4

Commits on Aug 21, 2024

• Merge pull request #17575 from dotnet/merges/main-to-release/dev17.12

  Show description for 6d9bd90
  T-Gro

  authored
  6d9bd90

  Copy full SHA for 6d9bd90

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

  T-Gro

  authored
  8206b86

  Copy full SHA for 8206b86

• Merge pull request #17573 from dotnet/merges/release/dev17.11-to-release/dev17.12

  Show description for b8468aa
  T-Gro

  authored
  b8468aa

  Copy full SHA for b8468aa

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

  KevinRansom

  authored
  2211646

  Copy full SHA for 2211646

• Merge pull request #17578 from dotnet/merges/main-to-release/dev17.12

  Show description for 0892320
  T-Gro

  authored
  0892320

  Copy full SHA for 0892320

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

  vzarytovskii

  authored
  01fe6ea

  Copy full SHA for 01fe6ea

Commits on Aug 22, 2024

• Merge pull request #17580 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  3b7a8d6

  Copy full SHA for 3b7a8d6

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

  vzarytovskii

  authored
  2196347

  Copy full SHA for 2196347

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

  vzarytovskii

  authored
  5f6d679

  Copy full SHA for 5f6d679

• Update azure-pipelines.yml

  vzarytovskii

  authored
  b444e51

  Copy full SHA for b444e51

• Merge pull request #17586 from dotnet/merges/release/dev17.11-to-release/dev17.12

  vzarytovskii

  authored
  e8d381b

  Copy full SHA for e8d381b

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

  T-Gro

  authored
  bab72ca

  Copy full SHA for bab72ca

• Merge pull request #17584 from dotnet/merges/main-to-release/dev17.12

  Show description for 60fc17d
  vzarytovskii

  authored
  60fc17d

  Copy full SHA for 60fc17d

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

  psfinaki

  authored
  4d28a30

  Copy full SHA for 4d28a30

Commits on Aug 23, 2024

• Merge pull request #17591 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  a8806e7

  Copy full SHA for a8806e7

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

  psfinaki

  authored
  81287c1

  Copy full SHA for 81287c1

• Merge pull request #17594 from dotnet/merges/main-to-release/dev17.12

  Show description for c968e7a
  psfinaki

  authored
  c968e7a

  Copy full SHA for c968e7a

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

  KevinRansom

  authored
  12ee16f

  Copy full SHA for 12ee16f

• Merge pull request #17596 from dotnet/merges/main-to-release/dev17.12

  Show description for 14bc02f
  KevinRansom

  authored
  14bc02f

  Copy full SHA for 14bc02f

Commits on Aug 24, 2024

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

  vzarytovskii

  authored
  2ab74b6

  Copy full SHA for 2ab74b6

Commits on Aug 26, 2024

• Merge pull request #17603 from dotnet/merges/main-to-release/dev17.12

  Show description for 454ba02
  T-Gro

  authored
  454ba02

  Copy full SHA for 454ba02

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

  vzarytovskii

  authored
  cc19b54

  Copy full SHA for cc19b54

• Merge pull request #17606 from dotnet/merges/main-to-release/dev17.12

  Show description for 478d332
  vzarytovskii

  authored
  478d332

  Copy full SHA for 478d332

Commits on Aug 27, 2024

• Localized file check-in by OneLocBuild Task: Build definition ID 499: Build ID 2524346 (#17610)

  dotnet-bot

  authored
  2b02b7d

  Copy full SHA for 2b02b7d

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

  vzarytovskii

  authored
  309b42c

  Copy full SHA for 309b42c

• Merge pull request #17617 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  a5feb41

  Copy full SHA for a5feb41

Commits on Aug 30, 2024

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

  vzarytovskii

  authored
  8267692

  Copy full SHA for 8267692

• Merge pull request #17636 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  47b2104

  Copy full SHA for 47b2104

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

  vzarytovskii

  authored
  4afa350

  Copy full SHA for 4afa350

• Merge pull request #17643 from dotnet/merges/main-to-release/dev17.12

  Show description for 3bfeaad
  KevinRansom

  authored
  3bfeaad

  Copy full SHA for 3bfeaad

• Merge pull request #17644 from dotnet/merges/release/dev17.11-to-release/dev17.12

  vzarytovskii

  authored
  45e24b4

  Copy full SHA for 45e24b4

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

  vzarytovskii

  authored
  af54ca9

  Copy full SHA for af54ca9

Commits on Aug 31, 2024

• Merge pull request #17646 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  bb453b3

  Copy full SHA for bb453b3

• Merge pull request #17647 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  20cca61

  Copy full SHA for 20cca61

Commits on Sep 9, 2024

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

  vzarytovskii

  authored
  e05228d

  Copy full SHA for e05228d

Commits on Sep 10, 2024

• Merge pull request #17677 from dotnet/merges/main-to-release/dev17.12

  Show description for ff6f1e4
  KevinRansom

  authored
  ff6f1e4

  Copy full SHA for ff6f1e4

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

  KevinRansom

  authored
  cfad471

  Copy full SHA for cfad471

• Merge pull request #17688 from dotnet/merges/main-to-release/dev17.12

  Show description for c487971
  KevinRansom

  authored
  c487971

  Copy full SHA for c487971

Commits on Sep 11, 2024

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

  KevinRansom

  authored
  d149006

  Copy full SHA for d149006

• Merge pull request #17690 from dotnet/merges/main-to-release/dev17.12

  Show description for ac5c720
  KevinRansom

  authored
  ac5c720

  Copy full SHA for ac5c720

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

  vzarytovskii

  authored
  65a08ce

  Copy full SHA for 65a08ce

• Merge pull request #17697 from dotnet/merges/main-to-release/dev17.12

  Show description for 1274650
  psfinaki

  authored
  1274650

  Copy full SHA for 1274650

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

  vzarytovskii

  authored
  4c23f69

  Copy full SHA for 4c23f69

Commits on Sep 12, 2024

• Merge pull request #17702 from dotnet/merges/main-to-release/dev17.12

  Show description for d6efdfe
  KevinRansom

  authored
  d6efdfe

  Copy full SHA for d6efdfe

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

  KevinRansom

  authored
  7cafc89

  Copy full SHA for 7cafc89

• Merge pull request #17707 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  119bba8

  Copy full SHA for 119bba8

Commits on Sep 13, 2024

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

  KevinRansom

  authored
  6006a0a

  Copy full SHA for 6006a0a

• Merge pull request #17717 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  1518498

  Copy full SHA for 1518498

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

  vzarytovskii

  committed
  81cfc4d

  Copy full SHA for 81cfc4d

• Merge pull request #17723 from dotnet/merges/main-to-release/dev17.12

  Show description for 15c05bd
  vzarytovskii

  authored
  15c05bd

  Copy full SHA for 15c05bd

Commits on Sep 15, 2024

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

  vzarytovskii

  authored
  cb27cd5

  Copy full SHA for cb27cd5

Commits on Sep 16, 2024

• Merge pull request #17740 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  adf7d94

  Copy full SHA for adf7d94

• Merge pull request #17744 from dotnet/merges/main-to-release/dev17.12

  Show description for ee36587
  vzarytovskii

  authored
  ee36587

  Copy full SHA for ee36587

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

  vzarytovskii

  authored
  79de956

  Copy full SHA for 79de956

• Merge pull request #17749 from dotnet/merges/main-to-release/dev17.12

  Show description for 3044166
  T-Gro

  authored
  3044166

  Copy full SHA for 3044166

Commits on Sep 24, 2024

• Fixes #17447 -MethodAccessException on equality comparison of a record with private fields (#17467)

  Show description for 5236b25
  KevinRansom

  committed
  5236b25

  Copy full SHA for 5236b25

• fixes #17541 - Equals visibility for DU's (#17548)

  KevinRansom

  committed
  d01da33

  Copy full SHA for d01da33

• update version number

  KevinRansom

  committed
  5cb3356

  Copy full SHA for 5cb3356

• Merge pull request #17783 from KevinRansom/fix17773

  Show description for be2636f
  KevinRansom

  authored
  be2636f

  Copy full SHA for be2636f

Commits on Sep 26, 2024

• Switch to new VMR control set (#17703) (port from main) (#17788)

  Show description for 44f5feb
  

  mmitche

  and

  psfinaki

  authored
  44f5feb

  Copy full SHA for 44f5feb

Commits on Sep 27, 2024

• respect generic arity in method uniqueness

  

  T-Gro

  authored and

  github-actions

  committed
  9e4f926

  Copy full SHA for 9e4f926

• Merge pull request #17805 from dotnet/backport/pr-17804-to-release/dev17.12

  Show description for 7d36fbb
  vzarytovskii

  authored
  7d36fbb

  Copy full SHA for 7d36fbb

• [17.12] Turn off realsig when building product and proto (#17808)

  vzarytovskii

  authored
  6b652cd

  Copy full SHA for 6b652cd

Commits on Sep 30, 2024

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

  T-Gro

  authored
  2f8dce7

  Copy full SHA for 2f8dce7

• Merge pull request #17784 from dotnet/merges/release/dev17.11-to-release/dev17.12

  Show description for e56e63e
  T-Gro

  authored
  e56e63e

  Copy full SHA for e56e63e

Commits on Oct 1, 2024

• Bugfix : make sure nullness does not break XmlDoc info import for methods and types (#17741)

  Show description for d470fe8
  T-Gro

  committed
  d470fe8

  Copy full SHA for d470fe8

• Rendering AllowsRefStruct for type parameters (#17706)

  T-Gro

  committed
  19610c0

  Copy full SHA for 19610c0

Commits on Oct 7, 2024

• Update azure-pipelines.yml

  vzarytovskii

  authored
  d4e0b5a

  Copy full SHA for d4e0b5a

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

  vzarytovskii

  authored
  082a0e9

  Copy full SHA for 082a0e9