cache mangle_internal_symbol results #4241

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Merged

RalfJung merged 1 commit into rust-lang:master from RalfJung:mangle_internal_symbol_cache

Mar 28, 2025

+40 −33

Member

RalfJung commented Mar 28, 2025

Fixes #4234


          cache mangle_internal_symbol results

d777069

RalfJung added this pull request to the merge queue

Merged via the queue into rust-lang:master with commit a7ca21c

7 checks passed

RalfJung deleted the mangle_internal_symbol_cache branch

March 28, 2025 14:18

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet