Update scala-compiler, scala-library to 2.13.15

.github/workflows/ci.yml

@@ -58,6 +58,7 @@ jobs:
           - 2.13.12
           - 2.13.13
           - 2.13.14
+          - 2.13.15
     runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v4

build.sbt

@@ -28,6 +28,7 @@ val bin212 =
   Seq("2.12.20", "2.12.19", "2.12.18", "2.12.17", "2.12.16", "2.12.15", "2.12.14", "2.12.13")
 val bin213 =
   Seq(
+    "2.13.15",
     "2.13.14",
     "2.13.13",
     "2.13.12",
@@ -49,7 +50,7 @@ lazy val fullCrossVersionSettings = Seq(
     // NOTE: SBT 1.x provides cross-version support for Scala sources
     // (https://www.scala-sbt.org/1.x/docs/Cross-Build.html#Scala-version+specific+source+directory).
     // Unfortunately, it only includes directories like "scala_2.12" or "scala_2.13",
-    // not "scala_2.12.20" or "scala_2.13.14" that we need.
+    // not "scala_2.12.20" or "scala_2.13.15" that we need.
     // That's why we have to work around here.
     val base = (Compile / sourceDirectory).value
     val versionDir = scalaVersion.value.replaceAll("-.*", "")

plugin/src/main/scala-2.13.15/ch/epfl/scala/profilers/tools/SettingsOps.scala

@@ -0,0 +1,8 @@
+package ch.epfl.scala.profilers.tools
+
+import scala.tools.nsc.Global
+
+object SettingsOps {
+  def areStatisticsEnabled(g: Global): Boolean =
+    g.settings.areStatisticsEnabled
+}