Skip to content

Conversation

topolarity
Copy link
Member

@topolarity topolarity commented May 2, 2025

Should cover all the post-review comments from #58014

Also disables the eager compilation of finalizers unless --trim is enabled, but I'm happy to re-enable that. edit: re-enabled

@topolarity topolarity added trimming Issues with trimming functionality or PR's relevant to its performance/functionality backport 1.12 Change should be backported to release-1.12 labels May 2, 2025
@topolarity topolarity requested a review from vtjnash May 2, 2025 18:58
@KristofferC KristofferC mentioned this pull request May 5, 2025
53 tasks
@topolarity topolarity force-pushed the ct/fixup-finalizers branch from 2a6f7bb to e9d534c Compare May 5, 2025 19:00
@vtjnash vtjnash added the merge me PR is reviewed. Merge when all tests are passing label May 5, 2025
@topolarity topolarity merged commit 92cdcba into JuliaLang:master May 6, 2025
10 checks passed
@topolarity topolarity removed merge me PR is reviewed. Merge when all tests are passing backport 1.12 Change should be backported to release-1.12 labels May 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
trimming Issues with trimming functionality or PR's relevant to its performance/functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants