Skip to content

Bump Scala CLI to v1.7.1 (was v1.7.0) #22843

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

Jump to bottom
Merged
merged 1 commit into from
Mar 20, 2025
Merged

Bump Scala CLI to v1.7.1 (was v1.7.0) #22843

merged 1 commit into from
Mar 20, 2025

Conversation

Gedochao
Copy link
Contributor

@Gedochao Gedochao requested a review from hamzaremmal March 20, 2025 10:01
@Gedochao
Copy link
Contributor Author

@WojciechMazur adding a label for a potential (but optional) backport to 3.7.0-RC2

@Gedochao Gedochao added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Mar 20, 2025
@hamzaremmal hamzaremmal enabled auto-merge March 20, 2025 11:03
@hamzaremmal hamzaremmal merged commit a5e029a into scala:main Mar 20, 2025
29 checks passed
@Gedochao Gedochao deleted the update/scala-cli-v1.7.1 branch March 20, 2025 11:50
@WojciechMazur WojciechMazur added this to the 3.7.0 milestone Apr 7, 2025
@WojciechMazur WojciechMazur mentioned this pull request Apr 7, 2025
Merged
@WojciechMazur WojciechMazur added backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" and removed backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. labels Apr 7, 2025
WojciechMazur added a commit that referenced this pull request Apr 8, 2025
@WojciechMazur
Backport "Bump Scala CLI to v1.7.1 (was v1.7.0)" to 3.7 (#22929)
a76dc30 
Backports #22843 to the 3.7.0-RC2.

PR submitted by the release tooling.
@WojciechMazur WojciechMazur added backport:done This PR was successfully backported. and removed backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" labels Apr 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tgodzik tgodzik tgodzik approved these changes

@hamzaremmal hamzaremmal hamzaremmal approved these changes

Assignees

@hamzaremmal hamzaremmal

Labels
backport:done This PR was successfully backported.
Projects
None yet
Milestone
3.7.0
Development

Successfully merging this pull request may close these issues.
4 participants
@Gedochao @tgodzik @hamzaremmal @WojciechMazur