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.

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

Bump scala-cli to 1.4.3 #21338

Merged
merged 1 commit into from
Aug 7, 2024
Merged

Bump scala-cli to 1.4.3 #21338

merged 1 commit into from
Aug 7, 2024

Conversation

hamzaremmal
Copy link
Member

Closes #21263
Closes #21229

@hamzaremmal hamzaremmal added the needs-minor-release This PR cannot be merged until the next minor release label Aug 6, 2024
@hamzaremmal hamzaremmal requested a review from Gedochao August 6, 2024 17:24
@hamzaremmal hamzaremmal enabled auto-merge August 6, 2024 17:24
@hamzaremmal hamzaremmal merged commit 40b8c7a into scala:main Aug 7, 2024
28 checks passed
@hamzaremmal hamzaremmal deleted the bump-scala-cli branch August 7, 2024 08:14
@Gedochao Gedochao added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Aug 7, 2024
@Gedochao Gedochao added this to the 3.5.1 milestone Aug 7, 2024
@WojciechMazur WojciechMazur mentioned this pull request Aug 12, 2024
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 Aug 12, 2024
WojciechMazur added a commit that referenced this pull request Aug 13, 2024
@WojciechMazur
Backport "Bump scala-cli to 1.4.3" to 3.5.1 (#21370)
c27c2ae 
Backports #21338 to Scala 3.5.1-RC2
@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 Aug 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Gedochao Gedochao Gedochao approved these changes

Assignees

@Gedochao Gedochao

Labels
backport:done This PR was successfully backported. needs-minor-release This PR cannot be merged until the next minor release
Projects
None yet
Milestone
3.5.1
3 participants
@hamzaremmal @Gedochao @WojciechMazur