Skip to content

Conversation

Gedochao
Copy link
Contributor

@Gedochao Gedochao added this to the 3.7.3 milestone Aug 10, 2025
@Gedochao Gedochao added release-notes Should be mentioned in the release notes backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. labels Aug 10, 2025
@hamzaremmal hamzaremmal enabled auto-merge August 10, 2025 13:22
@hamzaremmal hamzaremmal merged commit a85c429 into scala:main Aug 10, 2025
42 checks passed
@Gedochao Gedochao deleted the update/scala-cli-1.8.5 branch August 11, 2025 05:11
WojciechMazur added a commit that referenced this pull request Aug 12, 2025
Backports #23702 to the 3.7.3-RC2.

PR submitted by the release tooling.
[skip ci]
@WojciechMazur WojciechMazur added backport:done This PR was successfully backported. and removed backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. labels Aug 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport:done This PR was successfully backported. release-notes Should be mentioned in the release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants