Merge main to release/dev17.13 - #18131

Merged

psfinaki merged 10 commits into

release/dev17.13from

merges/main-to-release/dev17.13

Dec 12, 2024

Commits on Dec 2, 2024

Backport :: Bugfix :: Support `ldelem.u8`, `ldelem.u` opcode aliases (#18081) (#18096)
T-Gro
authored
fd29258

Commits on Dec 9, 2024

Streamlining test deps a bit (#18022)
psfinaki
authored
42125e0
Format ILVerify output a bit (#18120)
psfinaki
authored
64bb76c

Commits on Dec 10, 2024

fix for race condition in FileIndex.fileIndexOfFile (#18008)

authored
f105888
Merge branch 'main' into merges/release/dev17.12-to-main
vzarytovskii
authored
9cc2a77
Update F# build version to 200
vzarytovskii
authored
feb53ab
Merge pull request #18104 from dotnet/merges/release/dev17.12-to-main
vzarytovskii
authored
7b1eb07
Fix how much is trimmed from an interp string part (#18123)
abonie
authored
cf05314

Commits on Dec 11, 2024

Sink: report SynPat.ArrayOrList type (#18127)
DedSec256
authored
6af82c8

Commits on Dec 12, 2024

Merge branch 'release/dev17.13' into merges/main-to-release/dev17.13
KevinRansom
authored
17c168d