Skip to content

Conversation

@Henr1k80
Copy link
Contributor

@Henr1k80 Henr1k80 commented Oct 6, 2025

Not sure if this is in very hot code paths, it is mostly correctness.

@github-actions github-actions bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Oct 6, 2025
@dotnet-policy-service dotnet-policy-service bot added the community-contribution Indicates that the PR has been added by a community member label Oct 6, 2025
@Henr1k80 Henr1k80 force-pushed the reduce-hashkey-generation branch from 402b326 to 65703b4 Compare October 7, 2025 06:20
@jkotas
Copy link
Member

jkotas commented Oct 7, 2025

/ba-g timeout with insufficient log

Copy link
Member

@jkotas jkotas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@jkotas jkotas merged commit ff8bbb9 into dotnet:main Oct 7, 2025
125 of 128 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Nov 7, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

community-contribution Indicates that the PR has been added by a community member needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants