Skip to content

Upgrade buck2 to version 2024-10-15#53

Merged
avdv merged 2 commits intomercuryfrom
cb/upgrade-buck2
Nov 6, 2024
Merged

Upgrade buck2 to version 2024-10-15#53
avdv merged 2 commits intomercuryfrom
cb/upgrade-buck2

Conversation

@avdv
Copy link
Copy Markdown

@avdv avdv commented Nov 1, 2024

  • Adapt to dynamic output API changes
  • Prevent loading of default package environment for haddock actions

@avdv avdv requested a review from aherrmann November 6, 2024 13:26
Copy link
Copy Markdown

@aherrmann aherrmann left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!
That new dynamic value API is looking good.

@avdv avdv merged commit 390ffd5 into mercury Nov 6, 2024
@lf- lf- deleted the cb/upgrade-buck2 branch September 12, 2025 21:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants