Migrate codebase to 2.13 #1974
Labels
improvement
Not a bug or a feature, but something general we can improve
tech debt
We should have addressed this yesterday
Creating this to track it since one doesn't exist yet. I think it'd be a good idea to do a migration from 2.12 to 2.13 in the Metals code base. One of the current blocks that I see is that
bloop-launcher
is not cross compiled to 2.13. There is a ticket for it here.The text was updated successfully, but these errors were encountered: