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

Move build dependencies into meta build #3412

Merged

lefou merged 1 commit into main from meta-build

Aug 23, 2024

Member

lefou commented Aug 23, 2024

Since we now have a meta build, we should manage all plugins in one place.


          Move build dependencies into meta build

5c5c428

Since we now have a meta build, we should manage all plugins in one place.

lihaoyi approved these changes

View reviewed changes

lefou merged commit c3a4fb1 into main

31 checks passed

lefou deleted the meta-build branch

August 23, 2024 11:31

lefou added this to the 0.12.0 milestone

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

Labels

None yet