Skip to content
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.

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

Update build to support Dotty 0.23.0-RC1 #67

Closed
gzoller opened this issue Mar 18, 2020 · 4 comments
Closed

Update build to support Dotty 0.23.0-RC1 #67

gzoller opened this issue Mar 18, 2020 · 4 comments

Comments

@gzoller
Copy link
Contributor

gzoller commented Mar 18, 2020

This is a tracking issue. Dotty 0.23.0-RC1 has been tagged and is due to drop imminently. There are some minor code changes required to support the move from 0.22 to 0.23. I have a PR ready to submit as soon as it drops. This issue is to track and raise awareness for this change, and can be closed if/when the PR is merged.

@gzoller
Copy link
Contributor Author

gzoller commented Mar 19, 2020

PR submitted and CI tests passed.

@gzoller
Copy link
Contributor Author

gzoller commented Mar 19, 2020

I also just noticed that there are not Dotty builds released into maven central. Is that true? It'd be super-nice if these were published. Right now munit is really the only workable test framework for Dotty, so it'd be very handy for those of us developing Dotty-based projects to have munit as a downloadable dependency.

@gzoller
Copy link
Contributor Author

gzoller commented Mar 20, 2020

Actually--you're right. I re-tried my build with "using" back in and it worked. Pushing update in a few minutes.

@olafurpg
Copy link
Member

Fixed in #69

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

No branches or pull requests

2 participants