Code

Merges/main to release/dev17.12#17678

Code

Closed

KevinRansom wants to merge 75 commits intodotnet:maindotnet/fsharp:mainfrom KevinRansom:merges/main-to-release/dev17.12KevinRansom/fsharp:merges/main-to-release/dev17.12Copy head branch name to clipboard

+286-286

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 dotnet#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 dotnet#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 dotnet#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 (dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#17491 from dotnet/merges/main-to-release/dev17.12

  Show description for 24116f0
  psfinaki

  authored
  24116f0

  Copy full SHA for 24116f0

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

  Show description for 6b4c4d5
  

  3 peopleauthored
  6b4c4d5

  Copy full SHA for 6b4c4d5

Commits on Aug 7, 2024

• Merge pull request dotnet#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 dotnet#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 dotnet#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 dotnet#17523 from dotnet/merges/main-to-release/dev17.12

  Show description for 0c76473
  psfinaki

  authored
  0c76473

  Copy full SHA for 0c76473

• Merge pull request dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 dotnet#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 (dotnet#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 dotnet#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 dotnet#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 dotnet#17643 from dotnet/merges/main-to-release/dev17.12

  Show description for 3bfeaad
  KevinRansom

  authored
  3bfeaad

  Copy full SHA for 3bfeaad

• Merge pull request dotnet#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 dotnet#17646 from dotnet/merges/main-to-release/dev17.12

  vzarytovskii

  authored
  bb453b3

  Copy full SHA for bb453b3

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

  vzarytovskii

  authored
  20cca61

  Copy full SHA for 20cca61

Commits on Sep 9, 2024

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

  KevinRansom

  committed
  5b8106d

  Copy full SHA for 5b8106d