Update scala-library to 2.13.17 #803

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

Open

eikek-scala-steward wants to merge 7 commits into master from update/scala-library-2.13.17

Open

Update scala-library to 2.13.17 #803

Merge branch 'master' into update/scala-library-2.13.17

Mergify / Rule: automatically merge Scala Steward PRs on CI success (merge) cancelled Nov 23, 2025 in 0s

The pull request cannot be merged

The pull request is not mergeable and might have conflicts that needs to be manually resolved. (details: Pull Request is not mergeable

View more details on Mergify