Merge main to release/dev17.10#16959

Merged

psfinaki merged 11 commits intorelease/dev17.10from

merges/main-to-release/dev17.10

Mar 28, 2024

Commits on Mar 22, 2024

PrettyNaming: make DoesIdentifierNeedBackticks public (#16613)
auduchinok
authored

Commits on Mar 26, 2024

Minor README update about proto (#16945)

psfinaki
and
vzarytovskii
authored
Compiled code benchmarks: easy benchmarking of `preview` against current (#16942)
brianrourkeboll
authored

Commits on Mar 27, 2024

Revert EnableDefaultNoneItems false (#16953)
KevinRansom
authored
Exclude compiler service benchmark from VMR build when not building tests (#16955)

mmitche
and
psfinaki
authored
Update dependencies from https://github.com/dotnet/arcade build 20240326.8 (#16957)
dotnet-maestro[bot]
authored

Commits on Mar 28, 2024

Merge branch 'release/dev17.10' into merges/main-to-release/dev17.10
vzarytovskii
authored