Skip to content

Conversation

@Gedochao
Copy link
Contributor

@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 Sep 19, 2025
@Gedochao Gedochao enabled auto-merge (squash) September 19, 2025 06:16
@Gedochao Gedochao merged commit 8ee54c3 into scala:main Sep 19, 2025
50 checks passed
@Gedochao Gedochao deleted the update/scala-cli-v1.9.1 branch September 19, 2025 09:08
WojciechMazur added a commit that referenced this pull request Sep 23, 2025
Backports #23962 to the 3.7.4.

PR submitted by the release tooling.
[skip ci]
@WojciechMazur WojciechMazur added this to the 3.7.4 milestone Sep 23, 2025
@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 Oct 22, 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.

2 participants