Skip to content

Conversation

@lhecker
Copy link
Member

@lhecker lhecker commented Mar 25, 2024

This makes the build a tiny bit faster (less time spent linking)
and makes everything run roughly 50% faster.

@lhecker lhecker added the Area-Build Issues pertaining to the build system, CI, infrastructure, meta label Mar 25, 2024
@DHowett DHowett merged commit 8403b38 into main Mar 25, 2024
@DHowett DHowett deleted the dev/lhecker/ob1 branch March 25, 2024 18:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area-Build Issues pertaining to the build system, CI, infrastructure, meta

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants