Merge pull request #160 from danicheg/scala-2.13.16

Add Scala 2.13.16 support
scalacenter · Jan 11, 2025 · eb4bcfd · eb4bcfd
2 parents deee018 + d14054d
commit eb4bcfd
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,6 +12,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      - uses: sbt/setup-sbt@v1
       - name: Setup Java (temurin@8)
         uses: actions/setup-java@v4
         with:
@@ -26,6 +27,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      - uses: sbt/setup-sbt@v1
       - name: Setup Java (temurin@8)
         uses: actions/setup-java@v4
         with:
@@ -59,11 +61,13 @@ jobs:
           - 2.13.13
           - 2.13.14
           - 2.13.15
+          - 2.13.16
     runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v4
         with:
           submodules: true
+      - uses: sbt/setup-sbt@v1
       - name: Setup Java (temurin@8)
         uses: actions/setup-java@v4
         with:
@@ -82,6 +86,7 @@ jobs:
       - uses: actions/checkout@v4
         with:
           submodules: true
+      - uses: sbt/setup-sbt@v1
       - name: Setup Java (temurin@8)
         uses: actions/setup-java@v4
         with:

diff --git a/build.sbt b/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.16",
     "2.13.15",
     "2.13.14",
     "2.13.13",

diff --git a/plugin/src/main/scala-2.13.16/ch/epfl/scala/profilers/tools/SettingsOps.scala b/plugin/src/main/scala-2.13.16/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
+}