New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Optimize type interfaces reading from metadata #17382

Merged

vzarytovskii merged 10 commits into dotnet:main from DedSec256:ber.a/optmizeMetadataReading3

Aug 29, 2024

Merged

Optimize type interfaces reading from metadata #17382

Merge branch 'main' into ber.a/optmizeMetadataReading3

Azure Pipelines / fsharp-ci succeeded Aug 29, 2024 in 1h 47m 13s

Build #20240828.21 succeeded

0 errors / 0 warnings

Details

Failed: 0 (0.00%)
Passed: 71,156 (97.58%)
Other: 1,766 (2.42%)
Total: 72,922

View more details on Azure Pipelines