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

PHP Build Scripts: Workaround lack of dead code elimination #1058

Merged

well-in-that-case merged 2 commits into main from dead

Nov 27, 2024

Member

Sainan commented Nov 26, 2024 •

edited

Loading

This mainly affects Windows, where it has the biggest impact on binary size and a slight performance boost derives from that.


          PHP Build Scripts: Workaround lack of dead code elimination

25f8060

Sainan force-pushed the dead branch from 498cdd9 to 25f8060 Compare

November 26, 2024 02:36


          PHP Build Scripts: Enable dead code elimination on Linux

97c7ceb

Sainan force-pushed the dead branch from fd1d850 to 97c7ceb Compare

November 26, 2024 03:09

well-in-that-case merged commit 981ef49 into main

8 checks passed

well-in-that-case deleted the dead branch

November 27, 2024 00:57

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

Labels

None yet