From c3d05521a850593c204c51529a36699a141944a9 Mon Sep 17 00:00:00 2001 From: Dominique Unruh Date: Tue, 9 Jul 2024 00:52:52 +0200 Subject: [PATCH] Scala version to 2.13.14 / 2.12.19 --- build.sbt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build.sbt b/build.sbt index 90f7b60..0a1516e 100644 --- a/build.sbt +++ b/build.sbt @@ -11,10 +11,10 @@ lazy val component = RootProject(file("component")) name := "scala-isabelle" version := "master-SNAPSHOT" -crossScalaVersions := List("2.13.12", "2.12.18") +crossScalaVersions := List("2.13.14", "2.12.19") -scalaVersion := "2.13.12" -//scalaVersion := "2.12.18" +scalaVersion := "2.13.14" +//scalaVersion := "2.12.19" Global / onChangedBuildSource := ReloadOnSourceChanges