Merge pull request scala#11118 from lrytz/merge-212

Merge 2.12.x to 2.13.x

Author: lrytz

.github/workflows/ci.yml

@@ -24,10 +24,10 @@ jobs:
     steps:
       - run: git config --global core.autocrlf false
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
 
       - name: Setup Java
-        uses: actions/setup-java@v4
+        uses: actions/setup-java@v5
         with:
           distribution: temurin
           java-version: ${{matrix.java}}

.github/workflows/validate.yml

@@ -6,8 +6,8 @@ jobs:
   validate:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
-      - uses: actions/setup-java@v4
+      - uses: actions/checkout@v5
+      - uses: actions/setup-java@v5
         with:
           distribution: temurin
           java-version: 8

project/build.properties

@@ -1 +1 @@
-sbt.version=1.11.3
+sbt.version=1.11.5

project/plugins.sbt

@@ -26,4 +26,4 @@ addSbtPlugin("de.heikoseeberger" % "sbt-header" % "5.10.0")
 
 addSbtPlugin("pl.project13.scala" % "sbt-jmh" % "0.4.7")
 
-addSbtPlugin("com.gradle" % "sbt-develocity" % "1.2.1")
+addSbtPlugin("com.gradle" % "sbt-develocity" % "1.3.1")