-
Notifications
You must be signed in to change notification settings - Fork 101
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
Fix compilation after #1340 merge #1353
Conversation
@rodrigo-molina I forgot that your PR didn't ran CI and there were some compilation issues that I try to fix here. @vlovgr I bumped the base version to 3.6 but MiMa is complaining about compatibility for the new added methods. Do you think these errors should be filtered? I'm not much versed in MiMa but why adding new methods is not compatible? 😢 |
Yes, we should be able to ignore these, since This can be done by adding:
to the existing |
so sorry to read/hear that! Thanks for taking care of the fixups, I somehow missed the warnings. Is there a way I could run the CI in a Pull Request from a fork? Let me know if there is something I can do! |
Yep! Running the SBT command |
But anyways, it was my fault. When you create a PR, the CI should be approved from one maintainer IIRC. |
Noted it.
Indeed, or having branch protection with the CI GH action execution. Thanks again for taking it. |
No description provided.