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

Bump scala 3.5.0-RC7 #15868

Merged
merged 1 commit into from
Aug 9, 2024
Merged

Conversation

lenguyenthanh
Copy link
Member

@lenguyenthanh lenguyenthanh commented Aug 9, 2024

Also set -source:3.7 as they delay new givens prioritization scheme to scala 3.7. And We want to keep using this new scheme as We already migrated to this scheme.

reference: https://contributors.scala-lang.org/t/3-5-0-release-thread/6666/40

Also set `-source:3.7` as they delay [new givens prioritization scheme](scala/scala3#19300) to scala 3.7.
And We want to keep using this new scheme as We already migrated to this
scheme.
@ornicar ornicar merged commit 5844286 into lichess-org:master Aug 9, 2024
4 checks passed
@lenguyenthanh lenguyenthanh deleted the scala-3.5.0-RC7 branch August 9, 2024 13:50
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