Skip to content

Conversation

@hamzaremmal
Copy link
Member

No description provided.

@hamzaremmal
Copy link
Member Author

All com-lihaoyi projects where migrated and the required PRs were merged.
PR that are remaining to be merged:

@hamzaremmal hamzaremmal force-pushed the cb-newbuild branch 2 times, most recently from 0e160bd to f0539ea Compare November 5, 2025 12:24
@hamzaremmal hamzaremmal force-pushed the cb-newbuild branch 2 times, most recently from 7b0ac61 to be9c4c6 Compare November 5, 2025 16:39
@hamzaremmal
Copy link
Member Author

I've disabled the following projects for now:

  • scalatest
  • zio
  • spire
  • http4s
  • akka

They will be enabled back soon but for the purpose of this PR, I've disabled them.

).mkString("; "),
sbtPublishCommand = "coreJVM/publishLocal; coreJS/publishLocal",
scalacOptions = SbtCommunityProject.scalacOptions.filter(_ != "-Wsafe-init"),
environment = Map("GITHUB_ACTIONS" -> "false"),
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

the project uses sbt-typelevel so it detects that we are running inside GitHub actions and enables fatal warnings.

@hamzaremmal hamzaremmal marked this pull request as ready for review November 6, 2025 13:12
@hamzaremmal hamzaremmal requested a review from Gedochao November 6, 2025 13:15
@hamzaremmal hamzaremmal enabled auto-merge November 6, 2025 13:15
@hamzaremmal hamzaremmal merged commit 3bea2f3 into scala:main Nov 6, 2025
53 checks passed
@hamzaremmal hamzaremmal deleted the cb-newbuild branch November 6, 2025 13:17
@WojciechMazur WojciechMazur added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Nov 12, 2025
@WojciechMazur WojciechMazur added this to the 3.8.0 milestone Nov 12, 2025
WojciechMazur added a commit that referenced this pull request Nov 12, 2025
Backports #24177 to the 3.8.0-RC1.

PR submitted by the release tooling.
@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 Nov 13, 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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants