Skip to content

Conversation

@zanieb
Copy link
Member

@zanieb zanieb commented Dec 18, 2024

Closes #442

@zanieb zanieb marked this pull request as ready for review December 18, 2024 21:54
@zanieb zanieb merged commit 2b014a8 into main Dec 18, 2024
55 checks passed
@zanieb zanieb deleted the zb/pgo branch December 18, 2024 23:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Remove pgo builds when pgo+lto builds exist

4 participants